Communities of Dialogue Russian and Ukrainian Émigrés in Modernist Prague

Repository | Directory | Profile

156076

W. Penczek

Bibliography ¹

A sat-based approach to unbounded model checking for alternating-time temporal epistemic logic

2004

M. Kacprzak W. Penczek

Synthese 142/2

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009