scientific article
From MaRDI portal
Publication:3881900
zbMath0439.68024MaRDI QIDQ3881900
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (6)
While-programs with nondeterministic assignments and the logic ALNA ⋮ Program-substitution and admissibility of rules in algorithmic logic ⋮ A complete axiomatic characterization of first-order temporal logic of linear time ⋮ Nondeterministic three-valued logic: isotonic and guarded truth-functions ⋮ Trees and diagrams of decomposition ⋮ Programs and logics
This page was built for publication:
