Moshe Y. Vardi

No bio available. Add one in Open Library.

Books by Moshe Y. Vardi (50 max)

+ shelf+ list

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, Proceedings (Lecture Notes in Computer Science)

2003

Moshe Y. Vardi, Andrei Voronkov

+ shelf+ list

TARK Proceedings 1988

1988

Moshe Y. Vardi

+ shelf+ list

Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

2003

Doron A. Peled, Moshe Y. Vardi

+ shelf+ list

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

2007

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

+ shelf+ list

Finite Model Theory and Its Applications

2014

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein