Endmarkers can make a difference
- Moshe Y. Vardi
- 1990
- Information Processing Letters
Publications
Date
Featured collections
Popular topics
61 results for Moshe Vardi
Polynomial-Time Implication Problems for Unary Inclusion Dependencies
- Stavros S. Cosmadakis
- Paris C. Kanellakis
- et al.
- 1990
- Journal of the ACM
0-1 Laws and decision problems for fragments of second-order logic
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1990
- Information and Computation
On the complexity of epistemic reasoning
- Moshe Y. Vardi
- 1989
- LICS 1989
Automata theory for database theoreticians
- Moshe Y. Vardi
- 1989
- SIGMOD/PODS/ 1989
A note on the reduction of two-way automata to one-way automata
- Moshe Y. Vardi
- 1989
- Information Processing Letters
The complexity of reasoning about knowledge and time. I. Lower bounds
- Joseph Y. Halpern
- Moshe Y. Vardi
- 1989
- Journal of Computer and System Sciences
Reasoning about knowledge and time in asynchronous systems
- Joseph Y. Halpern
- Moshe Y. Vardi
- 1988
- STOC 1988
Decidable optimization problems for database logic programs
- Stavros S. Cosmadakis
- Paris C. Kanellakis
- et al.
- 1988
- STOC 1988
THE COMPLEXITY OF ORDERING SUBGOALS
- Jeffrey D. Ullman
- Moshe Y. Vardi
- 1988
- SIGMOD/PODS/ 1988