scientific article; zbMATH DE number 1302671
From MaRDI portal
Publication:4249223
zbMath0935.03016MaRDI QIDQ4249223
Publication date: 5 October 1999
Full work available at URL: https://eudml.org/doc/208917
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilityuniversal algebralocally finite varietiesfinitely generated varietiesvarieties of finite typefinitely decidable varieties
Decidability of theories and sets of sentences (03B25) Congruence modularity, congruence distributivity (08B10) Products, amalgamated products, and other kinds of limits and colimits (08B25)
This page was built for publication: