On the public citation graph
The Birkhoff theorem for finite algebras
0 signed · 213 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf01109881openalex-snapshot
Congruence topologies on universal algebras
inferredcites →https://doi.org/10.1007/bf02485702openalex-snapshot
On equationally compact extensions of algebras
inferredcites →https://doi.org/10.1007/bf02485827openalex-snapshot
A compactification of the algebra of terms
inferredcites →https://doi.org/10.1007/bfb0077116openalex-snapshot
Some algebraic problems in the context of functorial semantics of algebraic theories
inferredcites →https://doi.org/10.1016/0003-4843(71)90012-xopenalex-snapshot
Some constructions of compact algebras
inferredcites →https://doi.org/10.1016/0022-4049(71)90001-6openalex-snapshot
Equational completion, model induced triples and pro-objects
inferredcites →https://doi.org/10.1016/s0079-8169(08)x6055-6openalex-snapshot
Automata, Languages, and Machines
inferredcites →https://doi.org/10.1017/s0305004100013463openalex-snapshot
On the Structure of Abstract Algebras
inferredcites →https://doi.org/10.1073/pnas.50.5.869openalex-snapshot
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
inferredcites →https://doi.org/10.2307/1969513openalex-snapshot
A Topology for Free Groups and Related Groups
inferredcites →https://doi.org/10.4064/cm-35-1-15-20openalex-snapshot
Varieties and finite closure conditions
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/aama.1997.0536openalex-snapshot
Three Notes on Distributive Lattices
inferred← citeshttps://doi.org/10.1006/jabr.1996.0192openalex-snapshot
Profinite Semigroups, Mal'cev Products, and Identities
inferred← citeshttps://doi.org/10.1006/jabr.1997.6783openalex-snapshot
Monoids Respectingn-Chains of Intervals
inferred← citeshttps://doi.org/10.1006/jabr.1999.7993openalex-snapshot
The G-Exponent of a Pseudovariety of Semigroups
inferred← citeshttps://doi.org/10.1007/1-4020-3817-8_1openalex-snapshot
Profinite semigroups and applications
inferred← citeshttps://doi.org/10.1007/1-4020-3817-8_13openalex-snapshot
Algebraic classifications of regular tree languages
inferred← citeshttps://doi.org/10.1007/11682462_28openalex-snapshot
${\mathcal C}$ -Varieties, Actions and Wreath Product
inferred← citeshttps://doi.org/10.1007/3-540-45526-4_15openalex-snapshot
An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata
inferred← citeshttps://doi.org/10.1007/3-540-56939-1_85openalex-snapshot
Algebras for classifying regular tree languages and an application to frontier testability
inferred← citeshttps://doi.org/10.1007/3-540-56939-1_92openalex-snapshot
The product of rational languages
inferred← citeshttps://doi.org/10.1007/3-540-60084-1_87openalex-snapshot
Polynomial closure and unambiguous product
inferred← citeshttps://doi.org/10.1007/978-1-4020-1898-5_5openalex-snapshot
Galois Connections for Operations and Relations
inferred← citeshttps://doi.org/10.1007/978-1-4612-1388-8_1openalex-snapshot
Syntactic and Global Semigroup Theory: A Synthesis Approach
inferred← citeshttps://doi.org/10.1007/978-1-4899-2608-1_1openalex-snapshot
The Join of the Pseudovariety J with Permutative Pseudovarieties
inferred← citeshttps://doi.org/10.1007/978-1-4899-2608-1_25openalex-snapshot
Survey of Global Semigroup Theory
inferred← citeshttps://doi.org/10.1007/978-3-030-13435-8_8openalex-snapshot
On Varieties of Ordered Automata
inferred← citeshttps://doi.org/10.1007/978-3-030-17127-8_23openalex-snapshot
Equational Axiomatization of Algebras with Structure
inferred← citeshttps://doi.org/10.1007/978-3-030-55215-2_4openalex-snapshot
Free Profinite Monoids, Semigroups and Groups
inferred← citeshttps://doi.org/10.1007/978-3-030-68195-1_1openalex-snapshot
On Language Varieties Without Boolean Operations
inferred← citeshttps://doi.org/10.1007/978-3-030-81508-0_3openalex-snapshot
Pointlike Sets and Separation: A Personal Perspective
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_4openalex-snapshot
A Cook’s Tour of Duality in Logic: From Quantifiers, Through Vietoris, to Measures
inferred← citeshttps://doi.org/10.1007/978-3-032-28404-4_3openalex-snapshot
Seventy Years of Algebraic, Logical, and Topological Methods for Regular Languages
inferred← citeshttps://doi.org/10.1007/978-3-319-21500-6_1openalex-snapshot
Recognisable Languages over Monads
inferred← citeshttps://doi.org/10.1007/978-3-319-21500-6_4openalex-snapshot
On Decidability of Intermediate Levels of Concatenation Hierarchies
inferred← citeshttps://doi.org/10.1007/978-3-319-98654-8_13openalex-snapshot
Inequalities for One-Step Products
inferred← citeshttps://doi.org/10.1007/978-3-540-70583-3_21openalex-snapshot
Duality and Equational Theory of Regular Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-85238-4_3openalex-snapshot
A Robust Class of Regular Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-21493-6_3openalex-snapshot
Theme and Variations on the Concatenation Product
inferred← citeshttps://doi.org/10.1007/978-3-642-54830-7_24openalex-snapshot
Generalized Eilenberg Theorem I: Local Varieties of Languages
inferred← citeshttps://doi.org/10.1007/978-3-662-48057-1_13openalex-snapshot
Classes of Languages Generated by the Kleene Star of a Word
inferred← citeshttps://doi.org/10.1007/978-3-662-49630-5_31openalex-snapshot
Profinite Monads, Profinite Equations, and Reiterman’s Theorem
inferred← citeshttps://doi.org/10.1007/978-94-009-3839-7_1openalex-snapshot
Implicit Operations on Certain Classes of Semigroups
inferred← citeshttps://doi.org/10.1007/978-94-011-0149-3_4openalex-snapshot
Relatively Free Profinite Monoids: An Introduction and Examples
inferred← citeshttps://doi.org/10.1007/978-981-97-2300-3_16openalex-snapshot
System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby
inferred← citeshttps://doi.org/10.1007/bf01188061openalex-snapshot
Minimal non-permutative pseudovarieties of semigroups III
inferred← citeshttps://doi.org/10.1007/bf01189004openalex-snapshot
An algebraic proof that pseudovarieties are defined by pseudoidentities
inferred← citeshttps://doi.org/10.1007/bf01190713openalex-snapshot
On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics
inferred← citeshttps://doi.org/10.1007/bf01191541openalex-snapshot
Congruence semimodular varieties II: Regular varieties
inferred← citeshttps://doi.org/10.1007/bf01194543openalex-snapshot
The Birkhoff Theorem for varieties of finite algebras
inferred← citeshttps://doi.org/10.1007/bf01196551openalex-snapshot
Sheaves of implicit operations in weak varieties of partial algebras
inferred← citeshttps://doi.org/10.1007/bf01225473openalex-snapshot
Nonstandard characterization of pseudovarieties
inferred← citeshttps://doi.org/10.1007/bf01229976openalex-snapshot
On finite bases for varieties and pseudovarieties
inferred← citeshttps://doi.org/10.1007/bf01236811openalex-snapshot
Varieties of infinitary universal algebras
inferred← citeshttps://doi.org/10.1007/bf01243597openalex-snapshot
A Reiterman theorem for pseudovarieties of finite first-order structures
inferred← citeshttps://doi.org/10.1007/bf01243870openalex-snapshot
The algebra of implicit operations
inferred← citeshttps://doi.org/10.1007/bf02573123openalex-snapshot
Some pseudovariety joins involving the pseudovariety of finite groups
inferred← citeshttps://doi.org/10.1007/bf02573404openalex-snapshot
On the membership problem for pseudovarieties of commutative semigroups
inferred← citeshttps://doi.org/10.1007/bf02573532openalex-snapshot
The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups
inferred← citeshttps://doi.org/10.1007/bf02573549openalex-snapshot
A unified syntactical approach to theorems of Putcha, Margolis, and Straubing on finite power semigroups
inferred← citeshttps://doi.org/10.1007/bf02574083openalex-snapshot
The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups
inferred← citeshttps://doi.org/10.1007/bf02574101openalex-snapshot
The joint of the pseudovarieties of idempotent semigroups and locally trivial semigroups
inferred← citeshttps://doi.org/10.1007/bf02575536openalex-snapshot
Some quasi-ordered classes of finite commutative semigroups
inferred← citeshttps://doi.org/10.1007/bf02676589openalex-snapshot
The pseudovariety generated by completely 0-simple semigroups
inferred← citeshttps://doi.org/10.1007/bf02679444openalex-snapshot
Regular Languages and Stone Duality
inferred← citeshttps://doi.org/10.1007/bf02679467openalex-snapshot
Polynomial closure and unambiguous product
inferred← citeshttps://doi.org/10.1007/bf03325439openalex-snapshot
Free profinite R-trivial, locally idempotent and locally commutative semigroups
inferred← citeshttps://doi.org/10.1007/pl00000349openalex-snapshot
Decidability of finite quasivarieties generated by certain transformation semigroups
inferred← citeshttps://doi.org/10.1007/s00012-019-0621-5openalex-snapshot
Bases for pseudovarieties closed under bideterministic product
inferred← citeshttps://doi.org/10.1007/s00012-023-00804-wopenalex-snapshot
What makes a Stone topological algebra Profinite
inferred← citeshttps://doi.org/10.1007/s000120050033openalex-snapshot
The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
inferred← citeshttps://doi.org/10.1007/s000120050183openalex-snapshot
Decomposition of the lattice of pseudovarieties of finite semigroups induced by bands
inferred← citeshttps://doi.org/10.1007/s00025-019-0998-7openalex-snapshot
Pseudovarieties of Ordered Completely Regular Semigroups
inferred← citeshttps://doi.org/10.1007/s00233-017-9904-3openalex-snapshot
A note on the finite basis and finite rank properties for pseudovarieties of semigroups
inferred← citeshttps://doi.org/10.1007/s00233-021-10167-0openalex-snapshot
A topological shuttle between inequalities and pseudoinequalities
inferred← citeshttps://doi.org/10.1007/s00233-025-10600-8openalex-snapshot
Epimorphisms and pseudovarieties of semigroups
inferred← citeshttps://doi.org/10.1007/s00233-026-10663-1openalex-snapshot
Open multiplication in relatively free profinite semigroupoids
inferred← citeshttps://doi.org/10.1007/s002330010060openalex-snapshot
Some pseudovariety joins involvinglocally trivial semigroups
inferred← citeshttps://doi.org/10.1007/s10958-007-0424-7openalex-snapshot
On the implicit conditional operations defined on pseudouniversal classes
inferred← citeshttps://doi.org/10.1007/s11202-006-0044-3openalex-snapshot
Positively conditional pseudovarieties and implicit operations on them
inferred← citeshttps://doi.org/10.1007/s11202-009-0014-7openalex-snapshot
Implicit operations on the categories of universal algebras
inferred← citeshttps://doi.org/10.1007/s11202-999-0015-6openalex-snapshot
On nonstandard axiomatization of elementarily nonaxiomatizable classes of discrete algebraic systems
inferred← citeshttps://doi.org/10.1016/0021-8693(91)90228-zopenalex-snapshot
On iterated semidirect products of finite semilattices
inferred← citeshttps://doi.org/10.1016/0022-4049(89)90124-2openalex-snapshot
Semidirect products of pseudovarieties from the universal algebraist's point of view
inferred← citeshttps://doi.org/10.1016/0022-4049(89)90125-4openalex-snapshot
The join of the pseudovarieties of R-trivial and L-trivial monoids
inferred← citeshttps://doi.org/10.1016/0022-4049(91)90019-xopenalex-snapshot
Implicit operations on finite J-trivial semigroups and a conjecture of I. Simon
inferred← citeshttps://doi.org/10.1016/0022-4049(95)00074-7openalex-snapshot
Profinite categories, implicit operations and pseudovarieties of categories
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90227-kopenalex-snapshot
Locally commutative power semigroups and counting factors of words
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00131-xopenalex-snapshot
An algebraic characterization of frontier testable tree languages
inferred← citeshttps://doi.org/10.1016/j.ejc.2013.07.011openalex-snapshot
Iterated periodicity over finite aperiodic semigroups
inferred← citeshttps://doi.org/10.1016/j.ic.2015.08.001openalex-snapshot
The dual equivalence of equations and coequations for automata
inferred← citeshttps://doi.org/10.1016/j.ic.2018.07.002openalex-snapshot
Classes of languages generated by the Kleene star of a word
inferred← citeshttps://doi.org/10.1016/j.ic.2019.104443openalex-snapshot
A topological approach to non-uniform complexity
inferred← citeshttps://doi.org/10.1016/j.ic.2022.104916openalex-snapshot
Eilenberg's variety theorem without Boolean operations
inferred← citeshttps://doi.org/10.1016/j.ipl.2009.09.011openalex-snapshot
A counterexample to a conjecture concerning concatenation hierarchies
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2017.12.032openalex-snapshot
Identities in upper triangular tropical matrix semigroups and the bicyclic monoid
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2022.06.009openalex-snapshot
The rank of variants of nilpotent pseudovarieties
inferred← citeshttps://doi.org/10.1016/j.jpaa.2006.06.016openalex-snapshot
Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts
inferred← citeshttps://doi.org/10.1016/j.jpaa.2015.09.015openalex-snapshot
On the irreducibility of pseudovarieties of semigroups
inferred← citeshttps://doi.org/10.1016/j.jpaa.2015.12.007openalex-snapshot
Stone duality, topological algebra, and recognition
inferred← citeshttps://doi.org/10.1016/j.jpaa.2025.107863openalex-snapshot
Semi-galois Categories I: The classical Eilenberg variety theory
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.10.034openalex-snapshot
Shuffle on positive varieties of languages
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.09.017openalex-snapshot
Two algebraic approaches to variants of the concatenation product
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.10.019openalex-snapshot
An automata-theoretic approach to the word problem for ω -terms over R
inferred← citeshttps://doi.org/10.1016/j.tcs.2019.10.020openalex-snapshot
Syntactic structures of regular languages
inferred← citeshttps://doi.org/10.1016/s0022-4049(00)00073-6openalex-snapshot
On semidirectly closed pseudovarieties of aperiodic semigroups
inferred← citeshttps://doi.org/10.1016/s0022-4049(00)00176-6openalex-snapshot
Free profinite locally idempotent and locally commutative semigroups
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00083-7openalex-snapshot
Profinite categories and semidirect products
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80364-5openalex-snapshot
Modal Predicates and Coequations
inferred← citeshttps://doi.org/10.1017/cbo9780511661877.009openalex-snapshot
Finite semigroups as categories, ordered semigroups or compact semigroups
inferred← citeshttps://doi.org/10.1017/s0004972700033888openalex-snapshot
Complete endomorphisms of the lattice of pseudovarieties of finite semigroups
inferred← citeshttps://doi.org/10.1017/s0004972700036492openalex-snapshot
Theorems of Birkhoff type in pseudovarieties and e-varieties of regular semigroups
inferred← citeshttps://doi.org/10.1017/s0004972708000294openalex-snapshot
On E-pseudovarieties of finite regular semigroups
inferred← citeshttps://doi.org/10.1017/s0013091500007112openalex-snapshot
On finite simple semigroups
inferred← citeshttps://doi.org/10.1017/s0013091509001795openalex-snapshot
Idempotent-generated semigroups and pseudovarieties
inferred← citeshttps://doi.org/10.1017/s0308210500021673openalex-snapshot
The finite basis problem for pseudovariety
inferred← citeshttps://doi.org/10.1017/s0960129504004402openalex-snapshot
Operations and equations for coalgebras
inferred← citeshttps://doi.org/10.1017/s1446788700030640openalex-snapshot
Lattices of pseudovarieties
inferred← citeshttps://doi.org/10.1051/ita/1996300504571openalex-snapshot
On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids
inferred← citeshttps://doi.org/10.1051/ita:1999105openalex-snapshot
Strongly locally testable semigroups with commuting idempotents and related languages
inferred← citeshttps://doi.org/10.1051/ita:2003018openalex-snapshot
Equational description of pseudovarieties of homomorphisms
inferred← citeshttps://doi.org/10.1051/ita:2005001openalex-snapshot
The globals of pseudovarieties of ordered semigroups containingB2and an application to a problem proposed by Pin
inferred← citeshttps://doi.org/10.1051/ita:2005002openalex-snapshot
The pseudovariety of semigroups of triangular matrices over a finite field
inferred← citeshttps://doi.org/10.1080/00927872.2012.688906openalex-snapshot
Generalised Existence Varieties of Regular Semigroups
inferred← citeshttps://doi.org/10.1080/00927879808826163openalex-snapshot
Irreducibility of certain pseudovarieties1
inferred← citeshttps://doi.org/10.1081/agb-120016749openalex-snapshot
Tameness of Some Locally Trivial Pseudovarieties
inferred← citeshttps://doi.org/10.1081/agb-120039628openalex-snapshot
Reducibility of Joins Involving Some Locally Trivial Pseudovarieties
inferred← citeshttps://doi.org/10.1090/s0002-9947-01-02857-4openalex-snapshot
Dynamics of implicit operations and tameness of pseudovarieties of groups
inferred← citeshttps://doi.org/10.1090/tran/7951openalex-snapshot
Representations of relatively free profinite semigroups, irreducibility, and order primitivity
inferred← citeshttps://doi.org/10.1093/qmath/hay059openalex-snapshot
Nilpotency and strong nilpotency for finite semigroups
inferred← citeshttps://doi.org/10.1109/lics.2006.24openalex-snapshot
First Order Formulas with Modular Ppredicates
inferred← citeshttps://doi.org/10.1109/lics.2015.46openalex-snapshot
Varieties of Languages in a Category
inferred← citeshttps://doi.org/10.1112/jlms/jdn083openalex-snapshot
Rational codes and free profinite monoids
inferred← citeshttps://doi.org/10.1142/9789812708700_0004openalex-snapshot
OPEN PROBLEMS ON REGULAR LANGUAGES: A HISTORICAL PERSPECTIVE
inferred← citeshttps://doi.org/10.1142/9789812792310_0005openalex-snapshot
SOME VARIATIONS ON THE NOTION OF LOCALLY TESTABLE LANGUAGE
inferred← citeshttps://doi.org/10.1142/9789813148208_0007openalex-snapshot
Open Problems About Regular Languages, 35 Years Later
inferred← citeshttps://doi.org/10.1142/s0129054112400497openalex-snapshot
EQUATIONAL DESCRIPTIONS OF LANGUAGES
inferred← citeshttps://doi.org/10.1142/s0129054116500374openalex-snapshot
On Pseudovarieties of Forest Algebras
inferred← citeshttps://doi.org/10.1142/s0218196700000194openalex-snapshot
FREE PROFINITE SEMIGROUPS OVER SOME CLASSES OF SEMIGROUPS LOCALLY IN ${\mathcal D} {\rm G}$
inferred← citeshttps://doi.org/10.1142/s0218196700000285openalex-snapshot
POLYNOMIAL CLOSURE AND TOPOLOGY
inferred← citeshttps://doi.org/10.1142/s021819670100053xopenalex-snapshot
THE SEMIDIRECTLY CLOSED PSEUDOVARIETY GENERATED BY APERIODIC BRANDT SEMIGROUPS
inferred← citeshttps://doi.org/10.1142/s0218196701000784openalex-snapshot
PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS
inferred← citeshttps://doi.org/10.1142/s0218196702000912openalex-snapshot
PROFINITE METHODS IN SEMIGROUP THEORY
inferred← citeshttps://doi.org/10.1142/s0218196704001955openalex-snapshot
TAMENESS OF THE PSEUDOVARIETY LS1
inferred← citeshttps://doi.org/10.1142/s0218196704001967openalex-snapshot
THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$
inferred← citeshttps://doi.org/10.1142/s0218196706002883openalex-snapshot
SUBWORD COMPLEXITY OF PROFINITE WORDS AND SUBGROUPS OF FREE PROFINITE SEMIGROUPS
inferred← citeshttps://doi.org/10.1142/s0218196708004913openalex-snapshot
EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM
inferred← citeshttps://doi.org/10.1142/s021819670900507xopenalex-snapshot
COMPLETE REDUCIBILITY OF THE PSEUDOVARIETY LS1
inferred← citeshttps://doi.org/10.1142/s0218196711006467openalex-snapshot
REPRESENTATIONS OF THE FREE PROFINITE OBJECT OVER DA
inferred← citeshttps://doi.org/10.1142/s0218196712500609openalex-snapshot
TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES
inferred← citeshttps://doi.org/10.1142/s0218196716500648openalex-snapshot
Reducibility vs. definability for pseudovarieties of semigroups
inferred← citeshttps://doi.org/10.1142/s0218196719500498openalex-snapshot
Join irreducible semigroups
inferred← citeshttps://doi.org/10.1142/s0218196724500024openalex-snapshot
The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies
inferred← citeshttps://doi.org/10.1142/s0218196798000119openalex-snapshot
On Pointlike Sets and Joins of Pseudovarieties
inferred← citeshttps://doi.org/10.1142/s0218196798000181openalex-snapshot
On Radical Congruence Systems II
inferred← citeshttps://doi.org/10.1142/s0218196798000193openalex-snapshot
The Gap Between Partial and Full
inferred← citeshttps://doi.org/10.1142/s0218196799000072openalex-snapshot
PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
inferred← citeshttps://doi.org/10.1142/s0218196799000163openalex-snapshot
HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
inferred← citeshttps://doi.org/10.1142/s0218196799000266openalex-snapshot
UNIFORMITIES ON FREE SEMIGROUPS
inferred← citeshttps://doi.org/10.1142/s0218196799000278openalex-snapshot
UNDECIDABILITY, AUTOMATA, AND PSEUDOVARITIES OF FINITE SEMIGROUPS
inferred← citeshttps://doi.org/10.1142/s0219498803000519openalex-snapshot
PROFINITE IDENTITIES FOR FINITE SEMIGROUPS WHOSE SUBGROUPS BELONG TO A GIVEN PSEUDOVARIETY
inferred← citeshttps://doi.org/10.1145/3090064.3090068openalex-snapshot
Stone duality for languages and complexity
inferred← citeshttps://doi.org/10.1145/3303991openalex-snapshot
Going Higher in First-Order Quantifier Alternation Hierarchies on Words
inferred← citeshttps://doi.org/10.1145/3464691openalex-snapshot
Reiterman’s Theorem on Finite Algebras for a Monad
inferred← citeshttps://doi.org/10.1201/9780203009642.ch34openalex-snapshot
The Identities of Local Threshold Testability
inferred← citeshttps://doi.org/10.1215/ijm/1299679746openalex-snapshot
Characterization of group radicals with an application to Mal’cev products
inferred← citeshttps://doi.org/10.14232/actacyb.23.1.2017.7openalex-snapshot
Commutative Positive Varieties of Languages
inferred← citeshttps://doi.org/10.14712/1213-7243.2019.022openalex-snapshot
A farewell to Professor RNDr. Věra Trnková, DrSc.
inferred← citeshttps://doi.org/10.1515/dema-2013-0341openalex-snapshot
Hyper-pseudoformulas and M-solid ordered pseudovarieties
inferred← citeshttps://doi.org/10.1515/forum-2016-0028openalex-snapshot
The ω-inequality problem for concatenation hierarchies of star-free languages
inferred← citeshttps://doi.org/10.18419/opus-2584openalex-snapshot
Logical fragments for Mazurkiewicz traces : expressive power and algebraic characterizations
inferred← citeshttps://doi.org/10.18419/opus-3477openalex-snapshot
Formal language theory of logic fragments
inferred← citeshttps://doi.org/10.2140/pjm.1986.121.257openalex-snapshot
Minimal nonpermutative pseudovarieties of semigroups. I
inferred← citeshttps://doi.org/10.2307/2275184openalex-snapshot
Undecidability of the identity problem for finite semigroups
inferred← citeshttps://doi.org/10.23638/lmcs-17(2:6)2021openalex-snapshot
Algebraic Language Theory for Eilenberg--Moore Algebras
inferred← citeshttps://doi.org/10.4171/pm/1792openalex-snapshot
Complete reducibility of systems of equations with respect to R
inferred← citeshttps://doi.org/10.4204/eptcs.151.3openalex-snapshot
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)
inferred← citeshttps://doi.org/10.4230/lipics.stacs.2009.1856openalex-snapshot
Profinite Methods in Automata Theory
inferred← citeshttps://doi.org/10.46298/dmtcs.2155openalex-snapshot
A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups
inferred← citeshttps://doi.org/10.46298/dmtcs.490openalex-snapshot
New decidable upper bound of the second level in the Straubing-Therien concatenation hierarchy of star-free languages
inferred← citeshttps://doi.org/10.46298/entics.12280openalex-snapshot
Profinite lambda-terms and parametricity
inferred← citeshttps://doi.org/10.46298/lmcs-18(3:14)2022openalex-snapshot
Tameness and the power of programs over monoids in DA
inferred← citeshttps://doi.org/10.46298/lmcs-19(4:4)2023openalex-snapshot
Locality and Centrality: The Variety ZG
inferred← citeshttps://doi.org/10.48550/arxiv.1310.5023openalex-snapshot
A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups
inferred← citeshttps://doi.org/10.48550/arxiv.1409.2308openalex-snapshot
The q-theory of finite semigroups: history and mathematics
inferred← citeshttps://doi.org/10.48550/arxiv.1505.03343openalex-snapshot
Zero-One Law for Regular Languages and Semigroups with Zero
inferred← citeshttps://doi.org/10.48550/arxiv.1812.02016openalex-snapshot
Equational Axiomatization of Algebras with Structure
inferred← citeshttps://doi.org/10.48550/arxiv.2103.15659openalex-snapshot
A Note on the Join of Varieties of Monoids with LI
inferred← citeshttps://doi.org/10.5565/publmat6712303openalex-snapshot
Locally countable pseudovarieties
inferred← citeshttps://doi.org/10.70675/20c06f35z8a0dz4872z83e0z5bc2fafd8555openalex-snapshot
On the complexity of regular languages
inferred← citeshttps://doi.org/10.70675/412a4333z5867z452fz9404z271549351d1dopenalex-snapshot
The limits of Nečiporuk's method and the power of programs over monoids taken from small varieties of finite monoids
showing the first 200 of 201 · page through all 201
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.