scientific article; zbMATH DE number 1064596

From MaRDI portal

Publication:4355927

Jump to:navigation, search

zbMath0887.03027MaRDI QIDQ4355927

Matthew A. Valeriote

Publication date: 17 May 1998

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

zbMATH Keywords

survey decidability discriminator variety locally finite variety decidable varieties finite decidability

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4355927&oldid=18340589"