Automata-theoretic techniques for modal logics of programs
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- Journal of Computer and System Sciences
Publications
Date
Featured collections
Popular topics
61 results for Moshe Vardi
IMPLICATION PROBLEM FOR FUNCTIONAL AND INCLUSION DEPENDENCIES IS UNDECIDABLE.
- A.K. Chandra
- Moshe Y. Vardi
- 1985
- SIAM Journal on Computing
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
A note on lossless database decompositions
- Moshe Y. Vardi
- 1984
- Information Processing Letters
INTERNAL SEMANTICS FOR MODAL LOGIC: PRELIMINARY REPORT.
- Ronald Fagin
- Moshe Y. Vardi
- 1984
- STOC 1984
On the equivalence of logical databases
- Gabriel M. Kuper
- Jeffrey D. Ullman
- et al.
- 1984
- SIGMOD/PODS 1984
On the Complexity and axiomatizability of consistent database states extended abstract
- Marc H. Graham
- Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984
A new approach to database logic
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984
Armstrong databases for functional and inclusion dependencies
- Ronald Fagin
- Moshe Y. Vardi
- 1983
- Information Processing Letters