A Propositional Modal Logic of Time Intervals
- Joseph Y. Halpern
- Yoav Shoham
- 1991
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
3 results for Yoav Shoham
PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS.
- Joseph Y. Halpern
- Yoav Shoham
- 1986
- LICS 1986
Fault tolerant mechanism design
- Ryan Porter
- Amir Ronen
- et al.
- 2008
- Artificial Intelligence