Pages that link to "Item:Q1163585"
From MaRDI portal
The following pages link to The Birkhoff theorem for finite algebras (Q1163585):
Displaying 50 items.
- The dual equivalence of equations and coequations for automata (Q498397) (← links)
- An algebraic characterization of frontier testable tree languages (Q672861) (← links)
- Regular languages and Stone duality (Q675860) (← links)
- Locally commutative power semigroups and counting factors of words (Q685456) (← links)
- On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics (Q751686) (← links)
- Varieties of infinitary universal algebras (Q802586) (← links)
- On the membership problem for pseudovarieties of commutative semigroups (Q804712) (← links)
- Pointlike sets and separation: a personal perspective (Q832918) (← links)
- Two algebraic approaches to variants of the concatenation product (Q861283) (← links)
- An automata-theoretic approach to the word problem for \(\omega\)-terms over R (Q868948) (← links)
- Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts. (Q869222) (← links)
- On the irreducibility of pseudovarieties of semigroups. (Q898188) (← links)
- A counterexample to a conjecture concerning concatenation hierarchies (Q990089) (← links)
- Minimal non-permutative pseudovarieties of semigroups. III (Q1057369) (← links)
- Some quasi-ordered classes of finite commutative semigroups (Q1071109) (← links)
- Some pseudovariety joins involving the pseudovariety of finite groups (Q1096022) (← links)
- On finite bases for varieties and pseudovarieties (Q1109060) (← links)
- The algebra of implicit operations (Q1119673) (← links)
- An algebraic proof that pseudovarieties are defined by pseudoidentities (Q1173660) (← links)
- On iterated semidirect products of finite semilattices (Q1178869) (← 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)
- Free profinite \(\mathcal R\)-trivial, locally idempotent and locally commutative semigroups (Q1293384) (← links)
- Congruence semimodular varieties. II: Regular varieties (Q1337154) (← links)
- Over testable languages (Q1351950) (← links)
- Monoids respecting \(n\)-chains of intervals (Q1355653) (← links)
- Polynomial closure and unambiguous product (Q1361889) (← links)
- Profinite categories and semidirect products (Q1380025) (← links)
- Three notes on distributive lattices (Q1383432) (← links)
- Uniform Birkhoff (Q1689599) (← links)
- Identities in upper triangular tropical matrix semigroups and the bicyclic monoid (Q1703232) (← links)
- Towards a pseudoequational proof theory (Q1729826) (← links)
- The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages (Q1748357) (← links)
- \(\mathsf E\)-local pseudovarieties. (Q1758216) (← links)
- Classes of languages generated by the Kleene star of a word (Q1784949) (← links)
- Shuffle on positive varieties of languages (Q1884959) (← links)
- The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups (Q1891654) (← links)
- Nonstandard characterization of pseudovarieties (Q1894555) (← links)
- The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups (Q1905975) (← links)
- Profinite categories, implicit operations and pseudovarieties of categories (Q1916401) (← links)
- A Reiterman theorem for pseudovarieties of finite first-order structures (Q1921405) (← links)
- The \(\mathbf G\)-exponent of a pseudovariety of semigroups (Q1969113) (← links)
- A topological shuttle between inequalities and pseudoinequalities (Q2031452) (← links)
- Varieties (Q2074217) (← links)
- Profinite topologies (Q2074218) (← links)
- On join irreducible \(J\)-trivial semigroups (Q2154568) (← links)
- The rank of variants of nilpotent pseudovarieties (Q2168807) (← links)
- On language varieties without Boolean operations (Q2232259) (← links)
- Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon (Q2276995) (← links)
