Back to Search Start Over

The complexity of reasoning about knowledge and time.

Authors :
Halpern, J Y
Vardi, M Y
Source :
Proceedings of the Eighteenth Annual ACM Symposium: Theory of Computing; 11/1/1986, p304-315, 12p
Publication Year :
1986

Details

Language :
English
ISBNs :
9780897911931
Database :
Complementary Index
Journal :
Proceedings of the Eighteenth Annual ACM Symposium: Theory of Computing
Publication Type :
Conference
Accession number :
101306085
Full Text :
https://doi.org/10.1145/12130.12161