The following pages link to Automata in general algebras (Q5565124):
Displaying 50 items.
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- All solutions of a system of recursion equations in infinite trees and other contraction theories (Q791310) (← links)
- P-varieties - a signature independent characterization of varieties of ordered algebras (Q1054761) (← links)
- Init and Anf operating on \(\omega\)-languages (Q1056238) (← links)
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories (Q1059404) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- E-unitary inverse monoids and the Cayley graph of a group presentation (Q1122663) (← links)
- Machines in a category (Q1142850) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Morphismes et bimorphismes d'arbres (Q1165018) (← links)
- Regular trees and the free iterative theory (Q1169813) (← links)
- A class of fuzzy theories (Q1170604) (← links)
- On rational definitions in complete algebras without rank (Q1171374) (← links)
- On a multiplication of semigroup varieties (Q1188316) (← links)
- Natural state transformations (Q1217073) (← links)
- The existence and construction of free iterative theories (Q1228350) (← links)
- Systematic approach to reduction and minimization in automata and system theory (Q1232389) (← links)
- Matricial theories (Q1239362) (← links)
- A generalized approach to formal languages (Q1239608) (← links)
- Inference for regular bilanguages (Q1242698) (← links)
- On the algebraic structure of rooted trees (Q1251061) (← links)
- On rational series and rational languages (Q1275092) (← links)
- Commutativity in free inverse monoids (Q1275459) (← links)
- Nondeterministic operations on finite relational structures (Q1276248) (← links)
- A proof of Choffrut's theorem on subsequential functions (Q1285595) (← links)
- Associativity of products of existence varieties of regular semigroups (Q1295684) (← links)
- Determinants and Möbius functions in trace monoids (Q1297486) (← links)
- Classes of finite relations as initial abstract data types. II (Q1318793) (← links)
- Fuzzy semirings (Q1319431) (← links)
- Object grammars and bijections. (Q1401204) (← links)
- A hidden agenda (Q1575735) (← links)
- Derivatives of rational expressions with multiplicity (Q1770384) (← links)
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax. (Q1853456) (← links)
- Rationality in algebras with a series operation (Q1854484) (← links)
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory (Q1884930) (← links)
- Graph congruences and wreath products (Q2266130) (← links)
- Graph automata (Q2481961) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Generalized sequential machine maps (Q2540272) (← links)
- Deux applications de la représentation matricielle d'une série rationnelle non commutative. (Two applications of matrix representations of a rational non -commutative series) (Q2547595) (← links)
- Quelques propriétés algébriques des automates (Q2556320) (← links)
- The common algebraic structure of exit-automata and machines (Q2562154) (← links)
- The monadic second-order logic of graphs. I: Recognizable sets of finite graphs (Q2641288) (← links)
- Some reasons for generalising domain theory (Q3559971) (← links)
- Graph expressions and graph rewritings (Q3782818) (← links)
- Automata in categories. The decomposition problem (Q3928253) (← links)
- Transformations of structures: An algebraic approach (Q3953162) (← links)
- Semantic preserving translations (Q4061931) (← links)
- (Q4115291) (← links)
