scientific article; zbMATH DE number 475192
From MaRDI portal
Publication:4273429
zbMath0791.68104MaRDI QIDQ4273429
Gunther Schmidt, Rudolf Berghammer
Publication date: 13 January 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
implementationalgebraic specificationnon-determinismrelational specificationspecification of data types and programsabstract relation algebra
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (7)
ER modelling from first relational principles ⋮ A relation algebraic model of robust correctness ⋮ Nondeterministic Fuzzy Operators ⋮ Domain and range for angelic and demonic compositions ⋮ Embedding a demonic semilattice in a relation algebra ⋮ RALL: Machine-supported proofs for relation algebra ⋮ Nondeterministic semantics of compound diagrams
This page was built for publication:
