scientific article; zbMATH DE number 868093
From MaRDI portal
Publication:4873976
zbMath0844.03035MaRDI QIDQ4873976
Publication date: 23 June 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
finitely axiomatizable class of algebrasfirst-order logic with equalityfirst-order logic without equalityfinitely axiomatizable varietytruly finite Hilbert-style inference system
Related Items (3)
Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ 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:
