The following pages link to (Q4132170):
Displaying 50 items.
- Varieties and covarieties of languages (extended abstract) (Q265785) (← links)
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- An extension of the wreath product principle for finite Mazurkiewicz traces (Q293379) (← links)
- The global dimension of the full transformation monoid (with an appendix by V. Mazorchuk and B. Steinberg) (Q295908) (← links)
- Generalized Pascal triangle for binomial coefficients of words (Q308970) (← links)
- On the star-height of subword counting languages and their relationship to Rees zero-matrix semigroups (Q329726) (← links)
- On the maximality of languages with combined types of code properties (Q401313) (← links)
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- Upper set monoids and length preserving morphisms (Q436105) (← links)
- Geometrical regular languages and linear Diophantine equations: the strongly connected case (Q443737) (← links)
- Recent results on syntactic groups of prefix codes. (Q444391) (← links)
- The dual equivalence of equations and coequations for automata (Q498397) (← links)
- Descriptional and computational complexity of finite automata -- a survey (Q553312) (← links)
- Inverse semigroups and extensions of groups by semilattices (Q579419) (← links)
- Inverse semigroups and varieties of finite semigroups (Q579421) (← links)
- Infinite iteration of matrix semigroups. II: Structure theorem for arbitrary semigroups up to aperiodic morphism (Q580507) (← links)
- Categories as algebra: An essential ingredient in the theory of monoids (Q581545) (← links)
- The varieties of n-testable semigroups (Q594200) (← links)
- Families of recognizable sets corresponding to certain varieties of finite monoids (Q599182) (← links)
- Varieties of recognizable tree series over fields (Q627171) (← links)
- On the acceptance power of regular languages (Q672323) (← links)
- An algebraic characterization of frontier testable tree languages (Q672861) (← links)
- Varieties and rational functions (Q673101) (← links)
- A decomposition theorem for probabilistic transition systems (Q673117) (← links)
- Characterizations of rational \(\omega\)-languages by means of right congruences (Q673632) (← links)
- Standard automata and semidirect products of transformation semigroups (Q685446) (← links)
- Locally commutative power semigroups and counting factors of words (Q685456) (← links)
- Equations and dot-depth one (Q688972) (← links)
- The expressive power of the shuffle product (Q710739) (← links)
- Learning in the limit with lattice-structured hypothesis spaces (Q714848) (← links)
- The algebraic theory of Parikh automata (Q722218) (← links)
- Local testability from words to traces, a suitable definition (Q728279) (← links)
- An algebraic foundation for factoring linear boundary problems (Q731385) (← links)
- Non-finitely based monoids. (Q744847) (← links)
- Finitely based monoids. (Q744848) (← links)
- Intersection graphs of \(S\)-acts (Q745942) (← links)
- On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics (Q751686) (← links)
- Synchronization and simplification (Q755320) (← links)
- The Rhodes expansion and free objects in varieties of completely regular semigroups (Q755897) (← links)
- The one-block property in varieties of semigroups (Q755899) (← links)
- On generalized locally testable languages (Q760215) (← links)
- On semidirect products of two finite semilattices (Q786232) (← links)
- Generalized varieties of commutative and nilpotent semigroups (Q786927) (← links)
- A language theoretic interpretation of the Schützenberger representations with applications to certain varieties of languages (Q795178) (← links)
- Almost finite expansions of arbitrary semigroups (Q798447) (← links)
- Iteration of expansions. Unambiguous semigroups (Q798782) (← links)
- Non-uniform automata over groups (Q804303) (← links)
- On the membership problem for pseudovarieties of commutative semigroups (Q804712) (← links)
- Pointlike sets and separation: a personal perspective (Q832918) (← links)