scientific article; zbMATH DE number 3413799

zbMath0262.68004MaRDI QIDQ5678412

J. W. de Bakker, Willem Paul de Roever

Publication date: 1973

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computability and recursion theory (03D99)

Related Items (8)

Peirce algebras ⋮ Relation-algebraic semantics ⋮ An automata theoretic decision procedure for the propositional mu- calculus ⋮ Towards reasoning about Hoare relations ⋮ A proof system for the first-order relational calculus ⋮ Matrix Code ⋮ On the completeness of the inductive assertion method ⋮ Formal derivation of strongly correct concurrent programs

This page was built for publication: