M
Moshe Y. Vardi
5 works on record
Works

Logic for programming artificial intelligence and reasoning

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

Finite Model Theory and Its Applications

TARK Proceedings 1988
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Formal Techniques for Networked and Distributed Systems - FORTE 2002