scientific article

zbMath0745.03057MaRDI QIDQ3989924

Paulo A. S. Veloso, Armando Martín Haeberer

Publication date: 28 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

extension of Tarski's calculus of binary relations

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

A short proof of representability of fork algebras ⋮ Complexity of equational theory of relational algebras with standard projection elements

This page was built for publication: