scientific article; zbMATH DE number 947806

zbMATH Open0864.03022MaRDI QIDQ4716201FDOQ4716201

Stephan Merz

Publication date: 20 November 1996

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

Recommendations

• scientific article
• scientific article
• scientific article
• scientific article

zbMATH Keywords

programming languagesemanticsincompletenesssafetymodel constructionfixpoint operatorspropositional temporal logicfirst-order temporal logicproofs-as-programsparallel composition of modules

Mathematics Subject Classification ID

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 (13)

• 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

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)