Publications

61 results for Moshe Vardi

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