Executable temporal logics
From MaRDI portal
Publication:679343
zbMATH Open0865.00029MaRDI QIDQ679343FDOQ679343
Authors:
Publication date: 24 June 1997
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (6)
- A timed concurrent constraint language.
- Logical foundations for more expressive declarative temporal logic programming languages
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic
- Title not available (Why is that?)
- The Expressive Power of Temporal Logic of Actions
- Title not available (Why is that?)
This page was built for publication: Executable temporal logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q679343)
