scientific article; zbMATH DE number 3597842
From MaRDI portal
Publication:4164784
zbMath0384.68010MaRDI QIDQ4164784
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items
Program-substitution and admissibility of rules in algorithmic logic ⋮ First-order approximation of algorithmic theories ⋮ Some general incompleteness results for partial correctness logics ⋮ Dynamic logic with program specifications and its relational proof system ⋮ Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs ⋮ On the computational complexity of satisfiability in propositional logics of programs ⋮ Logical analysis of demonic nondeterministic programs ⋮ Some questions about expressiveness and relative completeness in Hoare's logic ⋮ Trees and diagrams of decomposition
