On the expressive power of datalog: Tools and a case study
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1995
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
61 results for Moshe Vardi
Reasoning about Infinite Computations
- Moshh Vardi
- Pierre Wolper
- 1994
- Information and Computation
On the complexity of queries in the logical data model
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1993
- Theoretical Computer Science
The logical data model
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1993
- ACM Transactions on Database Systems (TODS)
Undecidable Optimization Problems for Database Logic Programs
- Haim Gaifman
- Harry Mairson
- et al.
- 1993
- Journal of the ACM (JACM)
Logical query optimization by proof-tree transformation
- Raghu Ramakrishnan
- Yehoshua Sagiv
- et al.
- 1993
- Journal of Computer and System Sciences
Memory-efficient algorithms for the verification of temporal properties
- C. Courcoubetis
- Moshe Y. Vardi
- et al.
- 1992
- Formal Methods in System Design
Infinitary logics and 0-1 laws
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1992
- Information and Computation
Verification of concurrent programs: the automata-theoretic framework* * A prelimary version of this paper appeared in Proc. 2nd IEEE Symp. on Logic in Computer Science, Ithaca, 1987, pp. 167-176.
- Moshe Y. Vardi
- 1991
- Annals of Pure and Applied Logic
Endmarkers can make a difference
- Moshe Y. Vardi
- 1990
- Information Processing Letters