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