Report copyright - On the Finite Model Property of In nitary Action Logicscsp2011.mimuw.edu.pl/proceedings/PDF/CSP2011301.pdf · One of the oldest and the most general logic of programs is the theory
Please pass captcha verification before submit form