Parametric real-Time reasoning
- Rajeev Alur
- Thomas A. Henzinger
- et al.
- 1993
- STOC 1993
Publications
Date
Featured collections
Popular topics
61 results for Moshe Vardi
Monotone monadic SNP and constraint satisfaction
- Tomás Feder
- Moshe Y. Vardi
- 1993
- STOC 1993
On monadic NP vs. monadic co-NP
- Ronald Fagin
- Larry Stockmeyer
- et al.
- 1993
- SCT 1993
Tools for datalog boundedness
- Gerd G. Hillebrand
- Paris C Kanellakis
- et al.
- 1991
- SIGMOD/PODS/ 1991
What is an inference rule?
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Jerusalem Conference on Information Technology 1990
Automata theory for database theoreticians
- Moshe Y. Vardi
- 1989
- SIGMOD/PODS/ 1989
On the complexity of epistemic reasoning
- Moshe Y. Vardi
- 1989
- LICS 1989
Decidable optimization problems for database logic programs
- Stavros S. Cosmadakis
- Paris C. Kanellakis
- et al.
- 1988
- STOC 1988
Reasoning about knowledge and time in asynchronous systems
- Joseph Y. Halpern
- Moshe Y. Vardi
- 1988
- STOC 1988
THE COMPLEXITY OF ORDERING SUBGOALS
- Jeffrey D. Ullman
- Moshe Y. Vardi
- 1988
- SIGMOD/PODS/ 1988