scientific article; zbMATH DE number 1086629
From MaRDI portal
Publication:4362877
zbMath0961.03060MaRDI QIDQ4362877
Paulo A. S. Veloso, Marcelo Fabián Frias, Armando Martín Haeberer, Gabriel A. Baum
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relation algebrasfirst-order theoriesfinite axiomatizabilityequational theoriesprogram developmentfork algebrasprogram specifications
Applications of universal algebra in computer science (08A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (8)
The $$\theta $$-Join as a Join with $$\theta $$ ⋮ Squares in fork arrow logic ⋮ Monomorphic characterization of \(n\)-ary direct products ⋮ Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types ⋮ On fork arrow logic and its expressive power ⋮ Embedding mappings and splittings with applications ⋮ Propositional Dynamic Logic with Storing, Recovering and Parallel Composition ⋮ Equational Reasoning in Non-Classical Logics
This page was built for publication:
