Pages that link to "Item:Q1163585"

The following pages link to The Birkhoff theorem for finite algebras (Q1163585):

Displaying 50 items.

• A topological approach to non-uniform complexity (Q2280323) (← links)
• Bases for pseudovarieties closed under bideterministic product (Q2330863) (← links)
• Syntactic structures of regular languages (Q2333830) (← links)
• The pseudovariety generated by completely \(0\)-simple semigroups (Q2365284) (← links)
• Sheaves of implicit operations in weak varieties of partial algebras (Q2366147) (← links)
• A note on the finite basis and finite rank properties for pseudovarieties of semigroups (Q2413519) (← links)
• Pseudovarieties of ordered completely regular semigroups (Q2422183) (← links)
• Iterated periodicity over finite aperiodic semigroups (Q2434750) (← links)
• What makes a Stone topological algebra profinite (Q2682630) (← links)
• Locally countable pseudovarieties (Q2687295) (← links)
• Dynamics of implicit operations and tameness of pseudovarieties of groups (Q2750958) (← links)
• Profinite Monads, Profinite Equations, and Reiterman’s Theorem (Q2811362) (← links)
• Modal predicates and coequations (Q2842557) (← links)
• Generalised Existence Varieties of Regular Semigroups (Q2850839) (← links)
• Classes of Languages Generated by the Kleene Star of a Word (Q2946333) (← links)
• On Pseudovarieties of Forest Algebras (Q2974058) (← links)
• Theme and Variations on the Concatenation Product (Q3014930) (← links)
• REPRESENTATIONS OF THE FREE PROFINITE OBJECT OVER DA (Q3094332) (← links)
• Idempotent-generated semigroups and pseudovarieties (Q3094663) (← links)
• Hyper-pseudoformulas and M-solid ordered pseudovarieties (Q3118237) (← links)
• On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids (Q3126014) (← links)
• (Q3139894) (← links)
• (Q3139896) (← links)
• Reducibility of Joins Involving Some Locally Trivial Pseudovarieties (Q3158327) (← links)
• Recognisable Languages over Monads (Q3451085) (← links)
• On Decidability of Intermediate Levels of Concatenation Hierarchies (Q3451089) (← links)
• On E-pseudovarieties of finite regular semigroups (Q3514870) (← links)
• Duality and Equational Theory of Regular Languages (Q3519505) (← links)
• A Robust Class of Regular Languages (Q3599114) (← links)
• EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM (Q3601326) (← links)
• COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1 (Q3636027) (← links)
• The finite basis problem for pseudovariety (Q3840741) (← links)
• (Q3913563) (← links)
• On finite simple semigroups (Q3991569) (← links)
• Undecidability of the identity problem for finite semigroups (Q4008756) (← links)
• Strongly locally testable semigroups with commuting idempotents and related languages (Q4256142) (← links)
• (Q4311228) (← links)
• Complete endomorphisms of the lattice of pseudovarieties of finite semigroups (Q4348834) (← links)
• Irreducibility of certain pseudovarieties¹ (Q4395729) (← links)
• (Q4453870) (← links)
• PROFINITE IDENTITIES FOR FINITE SEMIGROUPS WHOSE SUBGROUPS BELONG TO A GIVEN PSEUDOVARIETY (Q4474460) (← links)
• PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS (Q4513292) (← links)
• HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS (Q4513299) (← links)
• UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS (Q4513305) (← links)
• UNIFORMITIES ON FREE SEMIGROUPS (Q4513307) (← links)
• UNIFORMITIES ON FREE SEMIGROUPS (Q4513308) (← links)
• Generalized Eilenberg Theorem (Q4617980) (← links)
• Algebras for classifying regular tree languages and an application to frontier testability (Q4630273) (← links)
• The product of rational languages (Q4630281) (← links)
• Polynomial closure and unambiguous product (Q4645191) (← links)