A Reiterman theorem for pseudovarieties of finite first-order structures
- 1 December 1996
- journal article
- research article
- Published by Springer Nature in Algebra universalis
- Vol. 35 (4) , 577-595
- https://doi.org/10.1007/bf01243597
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Relatively Free Profinite Monoids: An Introduction and ExamplesPublished by Springer Nature ,1995
- Semigroups and Automata on Infinite WordsPublished by Springer Nature ,1995
- AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDSInternational Journal of Algebra and Computation, 1993
- The Birkhoff theorem for finite algebrasAlgebra universalis, 1982
- A Course in Universal AlgebraPublished by Springer Nature ,1981
- Fundamentals of Model TheoryPublished by Elsevier ,1977
- Varieties of ordered algebrasJournal of Computer and System Sciences, 1976