Towards a Computational Treatment of Time

Dov M. Gabbay, Mark Reynolds

Research output: Chapter in Book/Conference paperChapter

Original languageEnglish
Title of host publicationThe Handbook of Logic in Artificial Intelligence and Logic Programming
PublisherOxford University Press
Pages351-437
Volume4
Publication statusPublished - 1995

Cite this