Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
An interval logic for higher-level temporal reasoning
Home
Publications
An interval logic for higher-level temporal reasoning
An interval logic for higher-level temporal reasoning
RS
Richard L. Schwartz
Richard L. Schwartz
PM
P. M. Melliar-Smith
P. M. Melliar-Smith
FV
Friedrich H. Vogt
Friedrich H. Vogt
Publisher Website
Google Scholar
Cite
Download
Share
Download
Download
Download PDF
Download
1 January 1983
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
173-186
https://doi.org/10.1145/800221.806720
Abstract
No abstract available
Cited by 71 articles