scientific article
From MaRDI portal
Publication:2723894
zbMath0964.03069MaRDI QIDQ2723894
Claudio Gutierrez, Dan Dougherty
Publication date: 8 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Decidability of theories and sets of sentences (03B25) Grammars and rewriting systems (68Q42) Theories (e.g., algebraic theories), structure, and semantics (18C10) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (4)
A graphical representation of relational formulae with complementation ⋮ Relational semigroupoids: abstract relation-algebraic interfaces for finite relations between infinite types ⋮ Reasoning with Graphs ⋮ On graph reasoning
This page was built for publication:
