( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning about Infinite Computation Paths (Extended Abstract)

, , и . FOCS, стр. 185-194. IEEE Computer Society, (1983)

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

 

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

Response to a Letter to the Editor.. IEEE Software, 5 (4): 4-6 (1988)An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report), и . LICS, стр. 332-344. IEEE Computer Society, (1986)An automata-theortetic approach to modular model checking., и . ACM Trans. Program. Lang. Syst., 22 (1): 87-128 (2000)Weak alternating automata are not that weak., и . ACM Trans. Comput. Log., 2 (3): 408-429 (2001)Openism, IPism, fundamentalism, and pragmatism.. Commun. ACM, 57 (8): 5 (2014)Has the innovation cup run dry?. Commun. ACM, 56 (9): 5 (2013)The moral hazard of complexity-theoretic assumptions.. Commun. ACM, 59 (2): 5 (2016)Technology has social consequences.. Commun. ACM, 54 (5): 5 (2011)In Memoriam Paris C. Kanellakis., , , , и . ACM Comput. Surv., 28 (1): 3-15 (1996)More debate, please!. Commun. ACM, 53 (1): 5 (2010)