scientific article
From MaRDI portal
Publication:3763567
zbMath0627.68011MaRDI QIDQ3763567
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (13)
A relational division operator: The conjugate kernel ⋮ Pair algebras and Galois connections. ⋮ A relation algebraic model of robust correctness ⋮ Relation-algebraic semantics ⋮ Proof system for weakest prespecification ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ Jifeng He at Oxford and beyond: an appreciation ⋮ Embedding a demonic semilattice in a relation algebra ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Extensions of Lambek Calculi ⋮ Relation algebras as residuated Boolean algebras ⋮ Nondeterministic semantics of compound diagrams ⋮ Regular algebra applied to language problems
This page was built for publication:
