On the public citation graph

Finite Semigroups and Universal Algebra

https://doi.org/10.1142/2481
0 signed · 360 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.
Claim with ORCID
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.
See reference health

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1006/inco.2001.3139openalex-snapshot
The Monadic Theory of Morphic Infinite Words and Generalizations
inferred← citeshttps://doi.org/10.1006/jabr.1997.6783openalex-snapshot
Monoids Respectingn-Chains of Intervals
inferred← citeshttps://doi.org/10.1006/jabr.1997.7037openalex-snapshot
Almeida's Generalized Variety Problem
inferred← citeshttps://doi.org/10.1006/jabr.1999.7993openalex-snapshot
The G-Exponent of a Pseudovariety of Semigroups
inferred← citeshttps://doi.org/10.1006/jcss.2001.1782openalex-snapshot
Logic over Words on Denumerable Ordinals
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/1-4020-3817-8_6openalex-snapshot
Syntactic semigroups and the finite basis problem
inferred← citeshttps://doi.org/10.1007/11505877_12openalex-snapshot
Schützenberger and Eilenberg Theorems for Words on Linear Orderings
inferred← citeshttps://doi.org/10.1007/11809678_11openalex-snapshot
Varieties Generated by Certain Models of Reversible Finite Automata
inferred← citeshttps://doi.org/10.1007/3-540-36440-4_23openalex-snapshot
Splicing Systems: Regularity and Below
inferred← citeshttps://doi.org/10.1007/3-540-36494-3_7openalex-snapshot
Complete Classifications for the Communication Complexity of Regular Languages
inferred← citeshttps://doi.org/10.1007/3-540-44612-5_23openalex-snapshot
The Monadic Theory of Morphic Infinite Words and Generalizations
inferred← citeshttps://doi.org/10.1007/3-540-44683-4_10openalex-snapshot
Linear Temporal Logic and Finite Semigroups
inferred← citeshttps://doi.org/10.1007/3-540-44683-4_53openalex-snapshot
Syntactic Semiring of a Language
inferred← citeshttps://doi.org/10.1007/3-540-45005-x_4openalex-snapshot
Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators
inferred← citeshttps://doi.org/10.1007/3-540-45061-0_76openalex-snapshot
Locally Commutative Categories
inferred← citeshttps://doi.org/10.1007/3-540-45841-7_37openalex-snapshot
Nesting Until and Since in Linear Temporal Logic
inferred← citeshttps://doi.org/10.1007/3-540-45995-2_46openalex-snapshot
On Logical Descriptions of Regular Languages
inferred← citeshttps://doi.org/10.1007/3-540-60084-1_87openalex-snapshot
Polynomial closure and unambiguous product
inferred← citeshttps://doi.org/10.1007/3-540-61440-0_137openalex-snapshot
The expressive power of existential first order sentences of büchi's sequential calculus
inferred← citeshttps://doi.org/10.1007/3-540-63165-8_162openalex-snapshot
The Wadge-Wagner hierarchy of ω-rational sets
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-4612-1388-8_2openalex-snapshot
Semigroups with Central Idempotents
inferred← citeshttps://doi.org/10.1007/978-1-4612-1388-8_6openalex-snapshot
Ordered Monoids and J-Trivial Monoids
inferred← citeshttps://doi.org/10.1007/978-3-030-40608-0_23openalex-snapshot
Geometrically Closed Positive Varieties of Star-Free Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-41850-2_29openalex-snapshot
Semilatice Decompositions of Semigroups. Hereditariness and Periodicity—An Overview
inferred← citeshttps://doi.org/10.1007/978-3-030-48516-0_1openalex-snapshot
Equational Theories of Scattered and Countable Series-Parallel Posets
inferred← citeshttps://doi.org/10.1007/978-3-030-55215-2_1openalex-snapshot
Introduction
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-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-032-28404-4_6openalex-snapshot
Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
inferred← citeshttps://doi.org/10.1007/978-3-319-09704-6_13openalex-snapshot
From Ultrafilters on Words to the Expressive Power of a Fragment of Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-20028-6_8openalex-snapshot
Newton’s Forward Difference Equation for Functions from Words to Words
inferred← citeshttps://doi.org/10.1007/978-3-319-30000-9_22openalex-snapshot
Using Duality in Circuit Complexity
inferred← citeshttps://doi.org/10.1007/978-3-319-66158-2_10openalex-snapshot
All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems
inferred← citeshttps://doi.org/10.1007/978-3-540-24698-5_32openalex-snapshot
Join Irreducible Pseudovarieties, Group Mapping, and Kovács-Newman Semigroups
inferred← citeshttps://doi.org/10.1007/978-3-540-28629-5_49openalex-snapshot
On Pseudovarieties of Semiring Homomorphisms
inferred← citeshttps://doi.org/10.1007/978-3-540-28629-5_8openalex-snapshot
Algebraic Recognizability of Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-45077-1_32openalex-snapshot
Operations Preserving Recognizable Languages
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-540-85780-8_38openalex-snapshot
Hierarchies of Piecewise Testable Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-88282-4_28openalex-snapshot
Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups
inferred← citeshttps://doi.org/10.1007/978-3-540-92687-0_5openalex-snapshot
Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings
inferred← citeshttps://doi.org/10.1007/978-3-642-02737-6_5openalex-snapshot
Matrix Mortality and the Černý-Pin Conjecture
inferred← citeshttps://doi.org/10.1007/978-3-642-02930-1_10openalex-snapshot
Equations Defining the Polynomial Closure of a Lattice of Regular Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-03564-7_17openalex-snapshot
Polynomial Operators on Classes of Regular Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-03741-2_17openalex-snapshot
Stone Duality and the Recognisable Languages over an Algebra
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-21493-6_6openalex-snapshot
Typed Monoids – An Eilenberg-Like Theorem for Non Regular Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-32589-2_53openalex-snapshot
The Join Levels of the Trotter-Weil Hierarchy Are Decidable
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-642-60539-0_9openalex-snapshot
Algorithms for computing finite semigroups
inferred← citeshttps://doi.org/10.1007/978-3-662-44522-8_27openalex-snapshot
On Upper and Lower Bounds on the Length of Alternating Towers
inferred← citeshttps://doi.org/10.1007/978-3-662-53132-7_2openalex-snapshot
Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets
inferred← citeshttps://doi.org/10.1007/bf01243597openalex-snapshot
A Reiterman theorem for pseudovarieties of finite first-order structures
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/bf02574155openalex-snapshot
Semigroups, automata and languages
inferred← citeshttps://doi.org/10.1007/bf02679467openalex-snapshot
Polynomial closure and unambiguous product
inferred← citeshttps://doi.org/10.1007/bf02773226openalex-snapshot
Finite aperiodic semigroups with commuting idempotents and generalizations
inferred← citeshttps://doi.org/10.1007/bf03325439openalex-snapshot
Free profinite R-trivial, locally idempotent and locally commutative semigroups
inferred← citeshttps://doi.org/10.1007/bfb0028581openalex-snapshot
Axiomatizing the equational theory of regular tree languages
inferred← citeshttps://doi.org/10.1007/bfb0054310openalex-snapshot
An Eilenberg theorem for words on countable ordinals
inferred← citeshttps://doi.org/10.1007/pl00005969openalex-snapshot
On a Product of Finite Monoids
inferred← citeshttps://doi.org/10.1007/pl00005974openalex-snapshot
Operators on the Lattice of Pseudovarieties of Finite Semigroups
inferred← citeshttps://doi.org/10.1007/s00012-004-1917-6openalex-snapshot
Standard topological algebras: syntactic and principal congruences and profiniteness
inferred← citeshttps://doi.org/10.1007/s00012-009-0001-7openalex-snapshot
Hereditarily finitely based monoids of extensive transformations
inferred← citeshttps://doi.org/10.1007/s00012-010-0075-2openalex-snapshot
Power semigroups of finite groups and the INFB property
inferred← citeshttps://doi.org/10.1007/s00012-017-0442-3openalex-snapshot
On a class of completely join prime J-trivial semigroups with unique involution
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-019-0637-xopenalex-snapshot
Finite basis problem for involution monoids of unitriangular boolean matrices
inferred← citeshttps://doi.org/10.1007/s00012-020-00662-wopenalex-snapshot
A non-finitely based involution semigroup of order five
inferred← citeshttps://doi.org/10.1007/s00012-020-0649-6openalex-snapshot
Identical inclusions of semilattices
inferred← citeshttps://doi.org/10.1007/s00012-023-00804-wopenalex-snapshot
What makes a Stone topological algebra Profinite
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/s00224-003-1109-3openalex-snapshot
Nesting Until and Since in Linear Temporal Logic
inferred← citeshttps://doi.org/10.1007/s00224-004-1190-2openalex-snapshot
Complete Classifications for the Communication Complexity of Regular Languages
inferred← citeshttps://doi.org/10.1007/s00224-009-9180-zopenalex-snapshot
Circuit Complexity of Regular Languages
inferred← citeshttps://doi.org/10.1007/s00224-017-9763-zopenalex-snapshot
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy
inferred← citeshttps://doi.org/10.1007/s00224-024-10172-0openalex-snapshot
Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words
inferred← citeshttps://doi.org/10.1007/s00233-002-0004-6openalex-snapshot
A polynomial time algorithm to compute the Abelian kernel of a finite monoid
inferred← citeshttps://doi.org/10.1007/s00233-003-0014-zopenalex-snapshot
Abelian Kernels of Monoids of Order-preserving Maps and of Some of Its Extensions
inferred← citeshttps://doi.org/10.1007/s00233-004-0117-1openalex-snapshot
Regular Subsets of Semigroups Related to their Idempotents
inferred← citeshttps://doi.org/10.1007/s00233-005-0550-9openalex-snapshot
Cryptic Semigroup Varieties
inferred← citeshttps://doi.org/10.1007/s00233-006-0604-7openalex-snapshot
The Intersection of Pseudovarieties of Central Simple Semigroups
inferred← citeshttps://doi.org/10.1007/s00233-006-0678-2openalex-snapshot
A Class of Subgroups of Thompson's Group V
inferred← citeshttps://doi.org/10.1007/s00233-006-0682-6openalex-snapshot
On a Simpler Basis for the Pseudovariety EDS
inferred← citeshttps://doi.org/10.1007/s00233-008-9044-xopenalex-snapshot
A note on the power semigroup of a completely simple semigroup
inferred← citeshttps://doi.org/10.1007/s00233-008-9121-1openalex-snapshot
Inverse subsemigroups and classes of finite aperiodic semigroups
inferred← citeshttps://doi.org/10.1007/s00233-010-9236-zopenalex-snapshot
Semidirect product with an order-computable pseudovariety and tameness
inferred← citeshttps://doi.org/10.1007/s00233-010-9243-0openalex-snapshot
An embedding of semigroups into regular semigroups that preserves structure and finiteness
inferred← citeshttps://doi.org/10.1007/s00233-010-9258-6openalex-snapshot
On the lattice of sub-pseudovarieties of DA
inferred← citeshttps://doi.org/10.1007/s00233-011-9330-xopenalex-snapshot
Using filters to describe congruences and band congruences of semigroups
inferred← citeshttps://doi.org/10.1007/s00233-012-9374-6openalex-snapshot
On free spectra of finite monoids from the pseudovariety DA
inferred← citeshttps://doi.org/10.1007/s00233-012-9413-3openalex-snapshot
E-local pseudovarieties
inferred← citeshttps://doi.org/10.1007/s00233-013-9513-8openalex-snapshot
Cayley’s and Holland’s Theorems for Idempotent Semirings and Their Applications to Residuated Lattices
inferred← citeshttps://doi.org/10.1007/s00233-014-9574-3openalex-snapshot
Closures of regular languages for profinite topologies
inferred← citeshttps://doi.org/10.1007/s00233-014-9656-2openalex-snapshot
Semigroup presentations for test local groups
inferred← citeshttps://doi.org/10.1007/s00233-015-9769-2openalex-snapshot
Reducibility of pointlike problems
inferred← citeshttps://doi.org/10.1007/s00233-015-9770-9openalex-snapshot
Reaching the minimum ideal in a finite semigroup
inferred← citeshttps://doi.org/10.1007/s00233-016-9832-7openalex-snapshot
The finite basis problem for infinite involution semigroups of triangular 2 $$\times $$ × 2 matrices
inferred← citeshttps://doi.org/10.1007/s00233-017-9882-5openalex-snapshot
The free idempotent generated locally inverse semigroup
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-019-09999-8openalex-snapshot
The influence of Imre Simon’s work in the theory of automata, languages and semigroups
inferred← citeshttps://doi.org/10.1007/s00233-019-10024-1openalex-snapshot
Every decidable pseudovariety of abelian groups is completely tame
inferred← citeshttps://doi.org/10.1007/s00233-019-10074-5openalex-snapshot
The monoid of $$2 \times 2$$ triangular boolean matrices under skew transposition is non-finitely based
inferred← citeshttps://doi.org/10.1007/s00233-021-10163-4openalex-snapshot
A generalized variety problem
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-021-10183-0openalex-snapshot
Limit varieties of J-trivial monoids
inferred← citeshttps://doi.org/10.1007/s00233-021-10196-9openalex-snapshot
Two weaker variants of congruence permutability for monoid varieties
inferred← citeshttps://doi.org/10.1007/s00233-021-10207-9openalex-snapshot
The word problem for $$\kappa $$-terms over the pseudovariety of local groups
inferred← citeshttps://doi.org/10.1007/s00233-022-10317-yopenalex-snapshot
Blocks of epigroups
inferred← citeshttps://doi.org/10.1007/s00233-022-10328-9openalex-snapshot
Tropical representations and identities of the stylic monoid
inferred← citeshttps://doi.org/10.1007/s00233-023-10399-2openalex-snapshot
Limit varieties generated by finite non-J-trivial aperiodic monoids
inferred← citeshttps://doi.org/10.1007/s00233-024-10420-2openalex-snapshot
The additively idempotent semiring $$S_7^0$$ is nonfinitely based
inferred← citeshttps://doi.org/10.1007/s00233-025-10560-zopenalex-snapshot
Complexity of Finite Semigroups: History and Decidability
inferred← citeshttps://doi.org/10.1007/s00233-025-10586-3openalex-snapshot
Varieties of aperiodic monoids with commuting idempotents whose subvariety lattice is distributive
inferred← citeshttps://doi.org/10.1007/s00233-025-10600-8openalex-snapshot
Epimorphisms and pseudovarieties of semigroups
inferred← citeshttps://doi.org/10.1007/s00233-026-10666-yopenalex-snapshot
Formations of completely simple semigroups
inferred← citeshttps://doi.org/10.1007/s002330010051openalex-snapshot
A delay theorem for pointlikes
inferred← citeshttps://doi.org/10.1007/s002330010058openalex-snapshot
Studying semigroups of mappings using quasi-identities
inferred← citeshttps://doi.org/10.1007/s002330010060openalex-snapshot
Some pseudovariety joins involvinglocally trivial semigroups
inferred← citeshttps://doi.org/10.1007/s002330010088openalex-snapshot
The power exponent of a pseudovariety
inferred← citeshttps://doi.org/10.1007/s002330010098openalex-snapshot
Some key problems on finite semigroups
inferred← citeshttps://doi.org/10.1007/s002330010101openalex-snapshot
Some open problems concerning relatively free and free profinite semigroups
inferred← citeshttps://doi.org/10.1007/s00285-023-01898-5openalex-snapshot
Semigroup models for biochemical reaction networks
inferred← citeshttps://doi.org/10.1007/s00285-023-01899-4openalex-snapshot
An algebraic characterization of self-generating chemical reaction networks using semigroup models
inferred← citeshttps://doi.org/10.1007/s00605-005-0324-1openalex-snapshot
Tameness of Pseudovariety Joins Involving ${\sf R}$
inferred← citeshttps://doi.org/10.1007/s00605-011-0285-5openalex-snapshot
An upper bound for the power pseudovariety PCS
inferred← citeshttps://doi.org/10.1007/s00605-011-0341-1openalex-snapshot
A sufficient condition for the non-finite basis property of semigroups
inferred← citeshttps://doi.org/10.1007/s00605-016-0952-7openalex-snapshot
A Munn tree type representation for the elements of the bifree locally inverse semigroup
inferred← citeshttps://doi.org/10.1007/s10468-009-9181-2openalex-snapshot
The Quiver of an Algebra Associated to the Mantaci-Reutenauer Descent Algebra and the Homology of Regular Semigroups
inferred← citeshttps://doi.org/10.1007/s10468-020-09977-7openalex-snapshot
Simplicity of Augmentation Submodules for Transformation Monoids
inferred← citeshttps://doi.org/10.1007/s10474-021-01177-zopenalex-snapshot
Cancellable elements of the lattice of monoid varieties
inferred← citeshttps://doi.org/10.1007/s10958-007-0242-yopenalex-snapshot
Profinite groups associated with weakly primitive substitutions
inferred← citeshttps://doi.org/10.1007/s10998-017-0186-zopenalex-snapshot
On a locality-like property of the pseudovariety $$\mathbf {J}$$ J
inferred← citeshttps://doi.org/10.1007/s10998-022-00448-8openalex-snapshot
Ranks and presentations of some normally ordered inverse semigroups
inferred← citeshttps://doi.org/10.1007/s11083-008-9092-6openalex-snapshot
On Varieties Generated by Minimal Complex Semigroups
inferred← citeshttps://doi.org/10.1007/s11225-005-7348-3openalex-snapshot
Finite quasivarieties and self-referential conditions
inferred← citeshttps://doi.org/10.1007/s11512-016-0233-7openalex-snapshot
A geometric interpretation of the Schützenberger group of a minimal subshift
inferred← citeshttps://doi.org/10.1007/s11537-022-2073-5openalex-snapshot
The lattice of varieties of monoids
inferred← citeshttps://doi.org/10.1007/s11856-010-0023-zopenalex-snapshot
Maximal subgroups of the minimal ideal of a free profinite monoid are free
inferred← citeshttps://doi.org/10.1007/s11856-012-0139-4openalex-snapshot
Presentations of Schützenberger groups of minimal subshifts
inferred← citeshttps://doi.org/10.1007/s11856-019-1947-6openalex-snapshot
Pro-aperiodic monoids via saturated models
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.aim.2007.12.001openalex-snapshot
Möbius functions and semigroup representation theory II: Character formulas and multiplicities
inferred← citeshttps://doi.org/10.1016/j.aim.2019.03.020openalex-snapshot
Pointlike sets for varieties determined by groups
inferred← citeshttps://doi.org/10.1016/j.disc.2004.04.027openalex-snapshot
Expressive power of existential first-order sentences of Büchi's sequential calculus
inferred← citeshttps://doi.org/10.1016/j.disc.2011.06.013openalex-snapshot
Piecewise testable languages via combinatorics on words
inferred← citeshttps://doi.org/10.1016/j.ic.2010.06.002openalex-snapshot
The expressive power of the shuffle product
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.2019.01.004openalex-snapshot
On the height of towers of subsequences and prefixes
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.2021.104709openalex-snapshot
Geometrically closed positive varieties of languages
inferred← citeshttps://doi.org/10.1016/j.ic.2024.105213openalex-snapshot
Weighted automata and logics meet computational complexity
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.2012.06.021openalex-snapshot
Equational theories of semigroups with involution
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2017.03.009openalex-snapshot
The pro-nilpotent group topology on a free group
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2021.04.039openalex-snapshot
Ehresmann semigroups whose categories are EI and their representation theory
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.jalgebra.2023.06.030openalex-snapshot
A survey on varieties generated by small semigroups and a companion website
inferred← citeshttps://doi.org/10.1016/j.jcss.2011.06.003openalex-snapshot
Schützenberger and Eilenberg theorems for words on linear orderings
inferred← citeshttps://doi.org/10.1016/j.jcta.2005.08.004openalex-snapshot
Möbius functions and semigroup representation theory
inferred← citeshttps://doi.org/10.1016/j.jlap.2009.10.001openalex-snapshot
Axiomatizing the equational theory of regular tree languages
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.2007.06.007openalex-snapshot
Pointlike sets with respect to R and J
inferred← citeshttps://doi.org/10.1016/j.jpaa.2007.09.008openalex-snapshot
Monoids with sub-log-exponential free spectra
inferred← citeshttps://doi.org/10.1016/j.jpaa.2008.08.009openalex-snapshot
Infinite-vertex free profinite semigroupoids and symbolic dynamics
inferred← citeshttps://doi.org/10.1016/j.jpaa.2009.02.004openalex-snapshot
On free spectra of finite completely regular semigroups and monoids
inferred← citeshttps://doi.org/10.1016/j.jpaa.2009.12.014openalex-snapshot
A combinatorial property of ideals in free profinite monoids
inferred← citeshttps://doi.org/10.1016/j.jpaa.2011.10.022openalex-snapshot
Upper set monoids and length preserving morphisms
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.2017.06.016openalex-snapshot
Uniform Birkhoff
inferred← citeshttps://doi.org/10.1016/j.jpaa.2020.106401openalex-snapshot
On formations of monoids
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.2004.12.027openalex-snapshot
Constructing divisions into power groups
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.11.034openalex-snapshot
Operations preserving regular languages
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.01.034openalex-snapshot
Characterizing CTL-like logics on finite trees
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.2007.02.006openalex-snapshot
Tree algebras and varieties of tree languages
inferred← citeshttps://doi.org/10.1016/j.tcs.2008.06.005openalex-snapshot
On varieties of meet automata
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.08.003openalex-snapshot
The word problem for ω -terms over DA
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.08.007openalex-snapshot
Ultrafilters on words for a fragment of logic
inferred← citeshttps://doi.org/10.1016/j.tcs.2017.08.008openalex-snapshot
The κ-word problem over DRH
inferred← citeshttps://doi.org/10.1016/s0020-0190(98)00120-3openalex-snapshot
On syntactic nuclei of rational 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(01)00010-xopenalex-snapshot
On the equation V∗G=EV
inferred← citeshttps://doi.org/10.1016/s0022-4049(01)00081-0openalex-snapshot
Join decompositions of pseudovarieties involving semigroups with commuting idempotents
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00050-3openalex-snapshot
Algorithmic problems for finite groups and finite 0-simple semigroups
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00083-7openalex-snapshot
Profinite categories and semidirect products
inferred← citeshttps://doi.org/10.1016/s0022-4049(96)00175-2openalex-snapshot
A method for the construction of complete congruences on lattices of pseudovarieties
showing the first 200 of 360 · page through all 360
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.