Varieties (Q2074217): Difference between revisions

@@ Property / DOI @@
-.4171/Automata-1/16
@@ Property / DOI: 10.4171/Automata-1/16 / rank @@
-Normal rank
@@ Property / author @@
-Pascal Weil
@@ Property / author: Pascal Weil / rank @@
-Normal rank
@@ Property / author @@
+Pascal Weil
@@ Property / author: Pascal Weil / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability of the identity problem for finite semigroups
+Normal rank
@@ Property / cites work @@
+Some pseudovariety joins involving the pseudovariety of finite groups
+Normal rank
@@ Property / cites work @@
+Q2770662
@@ Property / cites work: Q2770662 / rank @@
+Normal rank
@@ Property / cites work @@
+The join of the pseudovarieties of \(\mathcal R\)-trivial and \(\mathcal L\)-trivial monoids
+Normal rank
@@ Property / cites work @@
+PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$  -TRIVIAL SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Profinite categories and semidirect products
@@ Property / cites work: Profinite categories and semidirect products / rank @@
+Normal rank
@@ Property / cites work @@
+On the extension problem for partial permutations
@@ Property / cites work: On the extension problem for partial permutations / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties and finite closure conditions
@@ Property / cites work: Varieties and finite closure conditions / rank @@
+Normal rank
@@ Property / cites work @@
+The Birkhoff theorem for varieties of finite algebras
+Normal rank
@@ Property / cites work @@
+Regular languages in \(NC\)
@@ Property / cites work: Regular languages in \(NC\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3859267
@@ Property / cites work: Q3859267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Wreath Products of Forest Algebras, with Applications to Tree Logics
+Normal rank
@@ Property / cites work @@
+Q3086921
@@ Property / cites work: Q3086921 / rank @@
+Normal rank
@@ Property / cites work @@
+Equations Defining the Polynomial Closure of a Lattice of Regular Languages
+Normal rank
@@ Property / cites work @@
+Q5517677
@@ Property / cites work: Q5517677 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-automaton aperiodicity is PSPACE-complete
@@ Property / cites work: Finite-automaton aperiodicity is PSPACE-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Dot-depth of star-free events
@@ Property / cites work: Dot-depth of star-free events / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+On pseudovarieties
@@ Property / cites work: On pseudovarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic recognizability of regular tree languages
+Normal rank
@@ Property / cites work @@
+ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES
+Normal rank
@@ Property / cites work @@
+The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy
+Normal rank
@@ Property / cites work @@
+Duality and Equational Theory of Regular Languages
+Normal rank
@@ Property / cites work @@
+Languages of dot-depth 3/2
@@ Property / cites work: Languages of dot-depth 3/2 / rank @@
+Normal rank
@@ Property / cites work @@
+Pointlike sets: the finest aperiodic cover of a finite semigroup
+Normal rank
@@ Property / cites work @@
+APERIODIC POINTLIKES AND BEYOND
@@ Property / cites work: APERIODIC POINTLIKES AND BEYOND / rank @@
+Normal rank
@@ Property / cites work @@
+A PROFINITE APPROACH TO STABLE PAIRS
@@ Property / cites work: A PROFINITE APPROACH TO STABLE PAIRS / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4126563
@@ Property / cites work: Q4126563 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Space is Closed under Complementation
+Normal rank
@@ Property / cites work @@
+Definability with bounded number of bound variables
+Normal rank
@@ Property / cites work @@
+Q2957483
@@ Property / cites work: Q2957483 / rank @@
+Normal rank
@@ Property / cites work @@
+An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic
+Normal rank
@@ Property / cites work @@
+Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
+Normal rank
@@ Property / cites work @@
+Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable
+Normal rank
@@ Property / cites work @@
+On logical hierarchies within FO^2-definable languages
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3769981
@@ Property / cites work: Q3769981 / rank @@
+Normal rank
@@ Property / cites work @@
+The Dot-Depth Hierarchy, 45 Years Later
@@ Property / cites work: The Dot-Depth Hierarchy, 45 Years Later / rank @@
+Normal rank
@@ Property / cites work @@
+Some results on<i>C</i>-varieties
@@ Property / cites work: Some results on<i>C</i>-varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Locally trivial categories and unambiguous concatenation
+Normal rank
@@ Property / cites work @@
+A Reiterman theorem for pseudovarieties of finite first-order structures
+Normal rank
@@ Property / cites work @@
+Polynomial closure and unambiguous product
@@ Property / cites work: Polynomial closure and unambiguous product / rank @@
+Normal rank
@@ Property / cites work @@
+Separating Regular Languages with Two Quantifiers Alternations
+Normal rank
@@ Property / cites work @@
+Q5376662
@@ Property / cites work: Q5376662 / rank @@
+Normal rank
@@ Property / cites work @@
+Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
+Normal rank
@@ Property / cites work @@
+Adding Successor
@@ Property / cites work: Adding Successor / rank @@
+Normal rank
@@ Property / cites work @@
+The Birkhoff theorem for finite algebras
@@ Property / cites work: The Birkhoff theorem for finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Sur le produit de concatenation non ambigu
@@ Property / cites work: Sur le produit de concatenation non ambigu / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077455
@@ Property / cites work: Q4077455 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3392275
@@ Property / cites work: Q3392275 / rank @@
+Normal rank
@@ Property / cites work @@
+On Pointlike Sets and Joins of Pseudovarieties
@@ Property / cites work: On Pointlike Sets and Joins of Pseudovarieties / rank @@
+Normal rank
@@ Property / cites work @@
+A delay theorem for pointlikes
@@ Property / cites work: A delay theorem for pointlikes / rank @@
+Normal rank
@@ Property / cites work @@
+On algorithmic problems for joins of pseudovarieties
+Normal rank
@@ Property / cites work @@
+Aperiodic homomorphisms and the concatenation product of recognizable sets
+Normal rank
@@ Property / cites work @@
+Families of recognizable sets corresponding to certain varieties of finite monoids
+Normal rank
@@ Property / cites work @@
+Finite semigroup varieties of the form V*D
@@ Property / cites work: Finite semigroup varieties of the form V*D / rank @@
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular languages defined with generalized quantifiers
+Normal rank
@@ Property / cites work @@
+The method of forced enumeration for nondeterministic automata
+Normal rank
@@ Property / cites work @@
+Classification of finite monoids: the language approach
+Normal rank
@@ Property / cites work @@
+Q4542541
@@ Property / cites work: Q4542541 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Categories as algebra: An essential ingredient in the theory of monoids
+Normal rank
@@ Property / cites work @@
+The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups
+Normal rank
@@ Property / cites work @@
+Pointlike sets for varieties determined by groups
@@ Property / cites work: Pointlike sets for varieties determined by groups / rank @@
+Normal rank
@@ Property / cites work @@
+Closure of varieties of languages under products with counter
+Normal rank
@@ Property / cites work @@
+AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS
+Normal rank
@@ Property / cites work @@
+Q4251040
@@ Property / cites work: Q4251040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4785458
@@ Property / cites work: Q4785458 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4200600508
@@ Property / OpenAlex ID: W4200600508 / rank @@
+Normal rank
@@ Property / DOI @@
+.4171/AUTOMATA-1/16
@@ Property / DOI: 10.4171/AUTOMATA-1/16 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2074217