scientific article
From MaRDI portal
Publication:3881901
zbMath0439.68025MaRDI QIDQ3881901
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 (4)
Program-substitution and admissibility of rules in algorithmic logic ⋮ An elementary proof of the completeness of PDL ⋮ Algorithmic logic. Multiple-valued extensions ⋮ Nondeterministic three-valued logic: isotonic and guarded truth-functions
This page was built for publication:
