scientific article; zbMATH DE number 194496

zbMATH Open0656.00027MaRDI QIDQ4692453

Author name not available (Why is that?)

Publication date: 5 June 1993

Title of this publication is not available (Why is that?)

zbMATH Keywords

ConferenceTemporal logicsLogicsLeeds/England

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Conference proceedings and collections of articles (00Bxx)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Temporal logic. 1st International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings 👍 👎
• Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings 👍 👎
• Advances in temporal logic. Selected papers of the 2nd international conference on temporal logic, ICTL, Manchester, UK, 1997 👍 👎
• Temporal logic. Vol. 2. Mathematical foundations and computational aspects 👍 👎
• Temporal logic and applications—a tutorial 👍 👎
• Axioms for Branching Time 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4692453)