A temporal fixpoint calculus
- Moshe Y. Vardi
- 1988
- POPL 1988
Publications
Date
Featured collections
Popular topics
61 results for Moshe Vardi
VERIFICATION OF CONCURRENT PROGRAMS: THE AUTOMATA-THEORETIC FRAMEWORK.
- Moshe Y. Vardi
- 1986
- LICS 1986
AUTOMATA-THEORETIC APPROACH TO AUTOMATIC PROGRAM VERIFICATION.
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- LICS 1986
MODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1983
- FOCS 1983
A model-theoretic analysis of knowledge: Preliminary report
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1984
- FOCS 1984
INTERNAL SEMANTICS FOR MODAL LOGIC: PRELIMINARY REPORT.
- Ronald Fagin
- Moshe Y. Vardi
- 1984
- STOC 1984
On the Complexity and axiomatizability of consistent database states extended abstract
- Marc H. Graham
- Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984
On the equivalence of logical databases
- Gabriel M. Kuper
- Jeffrey D. Ullman
- et al.
- 1984
- SIGMOD/PODS 1984
A new approach to database logic
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984
ON THE SEMANTICS OF UPDATES IN DATABASES.
- Ronald Fagin
- Jeffrey D. Ullman
- et al.
- 1982
- SIGMOD/PODS 1982