H | |
---|---|
[HS91] | Joseph Y. Halpern et
Yoav Shoham.
A Propositional Modal Logic of Time Intervals.
Journal of the ACM 38(4):935-962. ACM Press, octobre 1991.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
H | |
---|---|
[HS91] | Joseph Y. Halpern et
Yoav Shoham.
A Propositional Modal Logic of Time Intervals.
Journal of the ACM 38(4):935-962. ACM Press, octobre 1991.
|