scientific article; zbMATH DE number 3566135

zbMATH Open0363.68030MaRDI QIDQ4138097FDOQ4138097

Theo M. V. Janssen, Peter van Emde Boas

Publication date: 1977

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45)

Cited In (4)

• Application of modal logic to programming
• A complete logic for reasoning about programs via nonstandard model theory. II
• Semantics of algorithmic languages
• An algebraic approach to the syntax and semantics of languages with subscripted variables

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 Q4138097)