External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Temporal Logic and Annotated Constraint Logic Programming

Thom W. Frühwirth. Temporal Logic and Annotated Constraint Logic Programming. In Michael Fisher, Richard Owens, editors, Executable Modal and Temporal Logics, IJCAI 93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Volume 897 of Lecture Notes in Computer Science, pages 58-68, Springer, 1993.

No reviews for this publication, yet.

runs on