An Overview of Temporal and Modal Logic Programming - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Mehmet A. Orgun, Wanli Ma. An Overview of Temporal and Modal Logic Programming. In Dov M. Gabbay, Hans Jürgen Ohlbach, editors, Temporal Logic, First International Conference, ICTL 94, Bonn, Germany, July 11-14, 1994, Proceedings. Volume 827 of Lecture Notes in Computer Science, pages 445-479, Springer, 1994.

The following publications are possibly variants of this publication:

Temporal and Modal Logic Programming: An Annotated BibliographyMehmet A. Orgun. sigart, 5(3):52-59, 1994.

runs on WebDSL