Varieties
type: Item
instance of: scholarly article
title: Varieties
author: Howard Straubing
author: Pascal Weil
publication date: 2022-02-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1502.03951
review text: Summary: For the entire collection see [Zbl 1470.68001].
Mathematics Subject Classification ID: 68Q70
zbMATH DE Number: 7469514
MaRDI profile type: Publication
cites work: Undecidability of the identity problem for finite semigroups
cites work: Some pseudovariety joins involving the pseudovariety of finite groups
cites work: Some algorithmic problems for pseudovarieties
cites work: The join of the pseudovarieties of \(\mathcal R\)-trivial and \(\mathcal L\)-trivial monoids
cites work: PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
cites work: Profinite categories and semidirect products
cites work: On the extension problem for partial permutations
cites work: Varieties and finite closure conditions
cites work: The Birkhoff theorem for varieties of finite algebras
cites work: Regular languages in \(NC\)
cites work: Q3859267
cites work: Q5762080
cites work: Wreath products of forest algebras, with applications to tree logics
cites work: Q3086921
cites work: Equations Defining the Polynomial Closure of a Lattice of Regular Languages
cites work: Q5517677
cites work: Finite-automaton aperiodicity is PSPACE-complete
cites work: Dot-depth of star-free events
cites work: Q4132170
cites work: On pseudovarieties
cites work: Algebraic recognizability of regular tree languages
cites work: ALGEBRAIC CHARACTERIZATION OF LOGICALLY DEFINED TREE LANGUAGES
cites work: The half-levels of the \(\mathrm {FO}_2\) alternation hierarchy
cites work: Duality and Equational Theory of Regular Languages
cites work: Languages of dot-depth 3/2
cites work: Pointlike sets: the finest aperiodic cover of a finite semigroup
cites work: APERIODIC POINTLIKES AND BEYOND
cites work: A PROFINITE APPROACH TO STABLE PAIRS
cites work: Ordering by Divisibility in Abstract Algebras
cites work: Q4126563
cites work: Nondeterministic Space is Closed under Complementation
cites work: Definability with bounded number of bound variables
cites work: Q2957483
cites work: An Effective Characterization of the Alternation Hierarchy in Two-Variable Logic
cites work: Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
cites work: Quantifier Alternation in Two-Variable First-Order Logic with Successor Is Decidable
cites work: On logical hierarchies within \(\mathrm{FO}^{2}\)-definable languages
cites work: Elements of finite model theory.
cites work: Q5317419
cites work: Q3769981
cites work: The Dot-Depth Hierarchy, 45 Years Later
cites work: Some results onC-varieties
cites work: Locally trivial categories and unambiguous concatenation
cites work: A Reiterman theorem for pseudovarieties of finite first-order structures
cites work: Polynomial closure and unambiguous product
cites work: Separating Regular Languages with Two Quantifiers Alternations
cites work: Q5376662
cites work: Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
cites work: Adding Successor
cites work: The Birkhoff theorem for finite algebras
cites work: Relationships between nondeterministic and deterministic tape complexities
cites work: On finite monoids having only trivial subgroups
cites work: Sur le produit de concatenation non ambigu
cites work: Q4077455
cites work: Q3392275
cites work: On Pointlike Sets and Joins of Pseudovarieties
cites work: A delay theorem for pointlikes
cites work: On algorithmic problems for joins of pseudovarieties
cites work: Aperiodic homomorphisms and the concatenation product of recognizable sets
cites work: Families of recognizable sets corresponding to certain varieties of finite monoids
cites work: Finite semigroup varieties of the form V*D
cites work: Q4302435
cites work: Regular languages defined with generalized quantifiers
cites work: The method of forced enumeration for nondeterministic automata
cites work: Classification of finite monoids: the language approach
cites work: Q4542541
cites work: Temporal logic and semidirect products: An effective characterization of the until hierarchy
cites work: Classifying regular events in symbolic logic
cites work: Categories as algebra: An essential ingredient in the theory of monoids

Varieties (cites work)
cites work: The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups

Varieties (cites work)
cites work: Pointlike sets for varieties determined by groups

Varieties (cites work)
cites work: Closure of varieties of languages under products with counter

Varieties (cites work)
cites work: AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS

Varieties (cites work)
cites work: Q4251040

Varieties (cites work)
cites work: Q4785458

Varieties (OpenAlex ID)
OpenAlex ID: W4200600508

Varieties (DOI)
DOI: 10.4171/AUTOMATA-1/16

Varieties (Recommended article)
Recommended article: Distinguished varieties
Similarity Score: 0.87847024
Recommender Run: Recommender Run 3

Varieties (Recommended article)
Recommended article: Variety matters
Similarity Score: 0.8521148
Recommender Run: Recommender Run 3

Varieties (Recommended article)
Recommended article: Discriminating varieties
Similarity Score: 0.8392666
Recommender Run: Recommender Run 3

Varieties (Recommended article)
Recommended article: Mysterious varieties
Similarity Score: 0.83405954
Recommender Run: Recommender Run 3

Varieties (Recommended article)
Recommended article: Varieties and transfers
Similarity Score: 0.8329083
Recommender Run: Recommender Run 3

Varieties (Recommended article)
Recommended article: Q4220921
Similarity Score: 0.8215793
Recommender Run: Recommender Run 3

Varieties (Recommended article)
Recommended article: Q4400625
Similarity Score: 0.8215792
Recommender Run: Recommender Run 3

Varieties (Recommended article)
Recommended article: Ends of varieties
Similarity Score: 0.8194182
Recommender Run: Recommender Run 3

Varieties (Recommended article)
Recommended article: Q3739184
Similarity Score: 0.8102914
Recommender Run: Recommender Run 3

Varieties (Recommended article)
Recommended article: Images and varieties
Similarity Score: 0.80776584
Recommender Run: Recommender Run 3