( en | de | ru )

 

Disambiguation of "Vardi, Moshe Y."

Author of the publication

copydeleteadd this publication to your clipboard
Synthesis with rational environments.

, , and . Ann. Math. Artif. Intell., 78 (1): 3-20 (2016)

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

Lost in math?. Commun. ACM, 62 (3): 7 (2019)LTL Satisfiability Checking., and . SPIN, volume 4595 of Lecture Notes in Computer Science, page 149-167. Springer, (2007)Sequential Relational Decomposition., , , and . CoRR, (2019)Constraints, Graphs, Algebra, Logic, and Complexity.. TAMC, volume 5532 of Lecture Notes in Computer Science, page 3. Springer, (2009)Optimizing a BDD-Based Modal Solver., and . CADE, volume 2741 of Lecture Notes in Computer Science, page 75-89. Springer, (2003)View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness., , , and . ICDT, volume 3363 of Lecture Notes in Computer Science, page 321-336. Springer, (2005)Model Checking vs. Theorem Proving: A Manifesto., and . Artificial and Mathematical Theory of Computation, page 151-176. Academic Press / Elsevier, (1991)To serve humanity.. Commun. ACM, 62 (7): 7 (2019)What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic., , , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 193-208. Springer, (2012)Dynamic Reactive Modules., , , , , and . CONCUR, volume 6901 of Lecture Notes in Computer Science, page 404-418. Springer, (2011)