Automata-theoretic techniques for modal logics of programs
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- Journal of Computer and System Sciences
Paper
Publications
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
PaperMODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1983
- FOCS 1983
Conference paperA model-theoretic analysis of knowledge: Preliminary report
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1984
- FOCS 1984
Conference paperA note on lossless database decompositions
- Moshe Y. Vardi
- 1984
- Information Processing Letters
PaperINTERNAL SEMANTICS FOR MODAL LOGIC: PRELIMINARY REPORT.
- Ronald Fagin
- Moshe Y. Vardi
- 1984
- STOC 1984
Conference paperOn the equivalence of logical databases
- Gabriel M. Kuper
- Jeffrey D. Ullman
- et al.
- 1984
- SIGMOD/PODS 1984
Conference paperOn the Complexity and axiomatizability of consistent database states extended abstract
- Marc H. Graham
- Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984
Conference paperA new approach to database logic
- Gabriel M. Kuper
- Moshe Y. Vardi
- 1984
- SIGMOD/PODS 1984
Conference paperArmstrong databases for functional and inclusion dependencies
- Ronald Fagin
- Moshe Y. Vardi
- 1983
- Information Processing Letters
Paper