Conference
Decidable Equational Classes
Abstract
I will discuss the progress that has been made on solving two open problems dealing with the decidability of the first order theory of equationally defined classes of algebras (varieties).
Authors
Valeriote MA
Pagination
pp. 207-221
Publisher
Springer Nature
Publication Date
1997
DOI
10.1007/978-94-015-8923-9_10
Conference proceedings
Nato Science Series C:
ISSN
1389-2185