Pages that link to "Item:Q751686"
From MaRDI portal
The following pages link to On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics (Q751686):
Displaying 29 items.
- Varieties of recognizable tree series over fields (Q627171) (← links)
- An algebraic characterization of frontier testable tree languages (Q672861) (← links)
- Regular languages and Stone duality (Q675860) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Tree algebras and varieties of tree languages (Q884456) (← links)
- A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups (Q1206787) (← links)
- Semidirect products of pseudovarieties from the universal algebraist's point of view (Q1262958) (← links)
- The join of the pseudovarieties of \(\mathcal R\)-trivial and \(\mathcal L\)-trivial monoids (Q1262959) (← links)
- Languages recognized by finite aperiodic groupoids (Q1274931) (← links)
- General varieties of tree languages (Q1275067) (← links)
- Over testable languages (Q1351950) (← links)
- Unary algebras, semigroups and congruences on free semigroups (Q1882916) (← links)
- The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups (Q1891654) (← links)
- Nonstandard characterization of pseudovarieties (Q1894555) (← links)
- Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. I (Q1908454) (← links)
- Profinite topologies (Q2074218) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Characterizing CTL-like logics on finite trees. (Q2490815) (← links)
- Positive varieties of tree languages (Q2576866) (← links)
- Profinite Monads, Profinite Equations, and Reiterman’s Theorem (Q2811362) (← links)
- GENERALIZED CONTEXTS AND n-ARY SYNTACTIC SEMIGROUPS OF TREE LANGUAGES (Q3084665) (← links)
- Aperiodicity in Tree Automata (Q3522867) (← links)
- ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES (Q3561120) (← links)
- On finite simple semigroups (Q3991569) (← links)
- Strongly locally testable semigroups with commuting idempotents and related languages (Q4256142) (← links)
- Algebras for classifying regular tree languages and an application to frontier testability (Q4630273) (← links)
- Eilenberg Theorems for Free (Q5111258) (← links)
- On Correspondences Between Unary Algebras, Automata, Semigroups and Congruences (Q5483345) (← links)
- (Q5875342) (← links)
