H | |
---|---|
[HS91] | Joseph Y. Halpern and
Yoav Shoham.
A Propositional Modal Logic of Time Intervals.
Journal of the ACM 38(4):935-962. ACM Press, October 1991.
|
Search
Displayed 1 resultList of authors
- 1
- 1
H | |
---|---|
[HS91] | Joseph Y. Halpern and
Yoav Shoham.
A Propositional Modal Logic of Time Intervals.
Journal of the ACM 38(4):935-962. ACM Press, October 1991.
|