scientific article; zbMATH DE number 947806
zbMATH Open0864.03022MaRDI QIDQ4716201FDOQ4716201
Authors: Stephan Merz 
Publication date: 20 November 1996
Title of this publication is not available (Why is that?)
Recommendations
programming languagesemanticsincompletenesssafetymodel constructionfixpoint operatorspropositional temporal logicfirst-order temporal logicproofs-as-programsparallel composition of modules
Theory of programming languages (68N15) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)
Cited In (14)
- Temporal object-oriented programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Programming in metric temporal logic
- LOGSPACE and PTIME characterized by programming languages
- Hybrid languages and temporal logic
- Temporal logic programs with variables
- Title not available (Why is that?)
- MetateM: An introduction
- Logical foundations for more expressive declarative temporal logic programming languages
- Logspace and logtime leaf languages
- Temporal logic with recursion
- Programming language elements for proof construction
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 Q4716201)
