A SYNTACTICAL PROOF OF LOCALITY OF DA
finite monoidslocal pseudovarietiesmembershipprofinite monoidspseudovarieties of finite categoriesrectangular bandsregular \({\mathcal D}\)-classessemidirect products of pseudovarieties of monoidssyntactic proof of localityvarieties of languagesvarieties of monoids
Quasivarieties (08C15) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)
- Profinite categories and semidirect products
- Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups
- On a locality-like property of the pseudovariety J
- Locality of DS and associated varieties
- The \(\mathbf G\)-exponent of a pseudovariety of semigroups
- The regular languages of wire linear \(\mathrm{AC}^0\)
- Bases for pseudovarieties closed under bideterministic product
- Reducibility of pointlike problems
- Pseudovarieties of ordered completely regular semigroups
- Iterated periodicity over finite aperiodic semigroups
- Möbius functions and semigroup representation theory.
- The pseudoidentity problem and reducibility for completely regular semigroups
- Alternation hierarchies of first order logic with regular predicates
- Representations of the free profinite object over \(\mathbf{DA}\).
- A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
- A structural approach to the locality of pseudovarieties of the form \(\mathbf{LH}\circm\mathbf{V}\).
- Representation theory of finite semigroups, semigroup radicals and formal language theory
- Language theoretical properties of hairpin formations
- HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
- THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$
- Closures of regular languages for profinite topologies.
- THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$
- The globals of pseudovarieties of ordered semigroups containingB2and an application to a problem proposed by Pin
- ON HYPERDECIDABLE PSEUDOVARIETIES OF SIMPLE SEMIGROUPS
- INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY
- THE SEMIDIRECTLY CLOSED PSEUDOVARIETY GENERATED BY APERIODIC BRANDT SEMIGROUPS
- PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS
- PROFINITE METHODS IN SEMIGROUP THEORY
- COMBINATORIAL GROUP THEORY, INVERSE MONOIDS, AUTOMATA, AND GLOBAL SEMIGROUP THEORY
- SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS
- scientific article; zbMATH DE number 7533353 (Why is no real title available?)
- On semidirectly closed pseudovarieties of finite semigroups and monoids
- Tameness and the power of programs over monoids in \(\mathbf{DA}\)
- Two-variable logics with some betweenness relations: expressiveness, satisfiability and membership
- Representations of relatively free profinite semigroups, irreducibility, and order primitivity
- The pro-nilpotent group topology on a free group
- A new proof of the locality of R.
- On semidirectly closed pseudovarieties of aperiodic semigroups
- On the equation \({\mathbf V}*{\mathbf G}={\mathcal E}{\mathbf V}\)
- Semidirect product with an order-computable pseudovariety and tameness.
- Locality and Centrality: The Variety ZG
- The word problem for \(\omega \)-terms over DA
- All about unambiguous polynomial closure
- The regular languages of first-order logic with one alternation
- Monoid varieties defined by \(x^{n+1}=x\) are local
- Pseudovarieties of semigroups
- An automata-theoretic approach to the word problem for \(\omega\)-terms over R
- A survey on the local divisor technique
This page was built for publication: A SYNTACTICAL PROOF OF LOCALITY OF DA
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4892455)
