( en | de | ru )

 

Disambiguation of "Vardi, Moshe Y."

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning about Strategies: on the Satisfiability Problem.

, , , and . Log. Methods Comput. Sci., (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

Amir Moshe

Max Mosheim

Assaf Vardi

Lily Vardimon

Moshe Pinus

 

Other publications of authors with the same name

Symbolic Techniques in Satisfiability Solving., and . J. Autom. Reason., 35 (1-3): 25-50 (2005)Rank Predicates vs. Progress Measures in Concurrent-Program Verification.. Chic. J. Theor. Comput. Sci., (1996)A simple proof that connectivity of finite graphs is not first-order definable., and . Bulletin of the EATCS, (1985)Black Box Checking., , and . FORTE, volume 156 of IFIP Conference Proceedings, page 225-240. Kluwer, (1999)What Is an Inference Rule?, , and . J. Symb. Log., 57 (3): 1018-1045 (1992)Special Selection in Logic in Computer Science.. J. Symb. Log., 62 (2): 608 (1997)Memory-Efficient Algorithms for the Verification of Temporal Properties., , , and . Formal Methods Syst. Des., 1 (2/3): 275-288 (1992)On the Expressive Power of Data Dependencies., and . Acta Informatica, 23 (3): 231-244 (1986)Efficiency vs. resilience: what COVID-19 teaches computing.. Commun. ACM, 63 (5): 9 (2020)Verification of Concurrent Programs: The Automata-Theoretic Framework.. Ann. Pure Appl. Log., 51 (1-2): 79-98 (1991)