FULL ABSTRACTION AND EXPRESSIVE COMPLETENESS FOR FP.
- Joseph Y. Halpern
- Edward L. Wimmers
- 1986
- LICS 1986
Publications
6 results at LICS 1986
VERIFICATION OF CONCURRENT PROGRAMS: THE AUTOMATA-THEORETIC FRAMEWORK.
- Moshe Y. Vardi
- 1986
- LICS 1986
I'M OK IF YOU'RE OK: ON THE NOTION OF TRUSTING COMMUNICATION.
- Ronald Fagin
- Joseph Y. Halpern
- 1986
- LICS 1986
GOOD REWRITE STRATEGIES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1986
- LICS 1986
AUTOMATA-THEORETIC APPROACH TO AUTOMATIC PROGRAM VERIFICATION.
- Moshe Y. Vardi
- Pierre Wolper
- 1986
- LICS 1986
PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS.
- Joseph Y. Halpern
- Yoav Shoham
- 1986
- LICS 1986