scientific article
From MaRDI portal
Publication:4011729
zbMath0773.08002MaRDI QIDQ4011729
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
identitiesalgebraic theoryGalois theoryrelational databaserelational algebraautomatonalgebras of relationsconstructive algebrapolyadic algebrasfuzzy informationHalmos algebradata algebraslocally finite polyadic set algebraspolyadic equality algebras
Database theory (68P15) Applications of universal algebra in computer science (08A70) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (4)
Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Algebraization of quantifier logics, an introductory overview ⋮ First order logic without equality on relativized semantics ⋮ Polyadic algebras with terms: A signature-free approach
This page was built for publication: