( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On Monadic NP vs. Monadic co-NP (Extended Abstract).

, , и . SCT, стр. 19-30. IEEE Computer Society, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Amir Moshe

Max Mosheim

Assaf Vardi

Lily Vardimon

Moshe Pinus

 

Другие публикации лиц с тем же именем

Memory-Efficient Algorithms for the Verification of Temporal Properties., , , и . Formal Methods in System Design, 1 (2/3): 275-288 (1992)Black Box Checking., , и . FORTE, том 156 из IFIP Conference Proceedings, стр. 225-240. Kluwer, (1999)Module Checking Revisited., и . CAV, том 1254 из Lecture Notes in Computer Science, стр. 36-47. Springer, (1997)Factored boolean functional synthesis., и . FMCAD, стр. 124-131. IEEE, (2017)The Complexity of Reasoning about Knowledge and Time: Extended Abstract, и . STOC, стр. 304-315. ACM, (1986)Parametric real-time reasoning., , и . STOC, стр. 592-601. ACM, (1993)What is a flagship publication?, и . Commun. ACM, 56 (8): 5 (2013)Divination by program committee.. Commun. ACM, 60 (9): 7 (2017)Science has only two legs.. Commun. ACM, 53 (9): 5 (2010)Is information technology destroying the middle class?. Commun. ACM, 58 (2): 5 (2015)