scientific article; zbMATH DE number 3566135
From MaRDI portal
Publication:4138097
zbMath0363.68030MaRDI QIDQ4138097
Peter van Emde Boas, Theo M. V. Janssen
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) General topics in the theory of software (68N01)
Related Items
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
