On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
From MaRDI portal
Publication:751686
DOI10.1007/BF01190713zbMath0715.08006OpenAlexW2023227558MaRDI QIDQ751686
Publication date: 1990
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01190713
Related Items (30)
Strongly locally testable semigroups with commuting idempotents and related languages ⋮ Unary algebras, semigroups and congruences on free semigroups ⋮ The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups ⋮ Axiomatizing the equational theory of regular tree languages ⋮ Nonstandard characterization of pseudovarieties ⋮ Over testable languages ⋮ On finite simple semigroups ⋮ Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I ⋮ Tree algebras and varieties of tree languages ⋮ Varieties of recognizable tree series over fields ⋮ Unnamed Item ⋮ Classifying regular languages by their syntactic algebras ⋮ Aperiodicity in Tree Automata ⋮ Algebras for classifying regular tree languages and an application to frontier testability ⋮ An algebraic characterization of frontier testable tree languages ⋮ Regular languages and Stone duality ⋮ ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES ⋮ A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups ⋮ Algebraic recognizability of regular tree languages ⋮ Characterizing CTL-like logics on finite trees. ⋮ Eilenberg Theorems for Free ⋮ Profinite Monads, Profinite Equations, and Reiterman’s Theorem ⋮ Semidirect products of pseudovarieties from the universal algebraist's point of view ⋮ The join of the pseudovarieties of \(\mathcal R\)-trivial and \(\mathcal L\)-trivial monoids ⋮ GENERALIZED CONTEXTS AND n-ARY SYNTACTIC SEMIGROUPS OF TREE LANGUAGES ⋮ Languages recognized by finite aperiodic groupoids ⋮ General varieties of tree languages ⋮ On Correspondences Between Unary Algebras, Automata, Semigroups and Congruences ⋮ Profinite topologies ⋮ Positive varieties of tree languages
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Birkhoff theorem for varieties of finite algebras
- Pseudovarieties, generalized varieties and similarly described classes
- The lattices of varieties and pseudovarieties of band monoids
- The algebra of implicit operations
- The Birkhoff theorem for finite algebras
- On pseudovarieties
- Some Order Properties of the Lattice of Varieties of Commutative Semigroups
This page was built for publication: On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
