Cited in
(60)- Minimal realization of machines in closed categories
- Bicategories of automata, automata in bicategories
- Inference for regular bilanguages
- Machines in a category
- Morphismes et bimorphismes d'arbres
- scientific article; zbMATH DE number 3607504 (Why is no real title available?)
- Regular planar monoidal languages
- Natural state transformations
- Object grammars and bijections.
- Semantic preserving translations
- Commutativity in free inverse monoids
- Nondeterministic operations on finite relational structures
- Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- Primitive recursive algebraic theories and program schemes
- scientific article; zbMATH DE number 3539402 (Why is no real title available?)
- A class of fuzzy theories
- Rationality in algebras with a series operation
- Varieties of chain-complete algebras
- Associativity of products of existence varieties of regular semigroups
- On the algebraic structure of rooted trees
- E-unitary inverse monoids and the Cayley graph of a group presentation
- Generalized sequential machine maps
- A generalized approach to formal languages
- Monadic monadic second order logic
- A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
- 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)
- Derivatives of rational expressions with multiplicity
- The existence and construction of free iterative theories
- Matricial theories
- Classes of finite relations as initial abstract data types. II
- On rational series and rational languages
- Graph automata
- Determinants and Möbius functions in trace monoids
- Graph expressions and graph rewritings
- The monadic second-order logic of graphs. I: Recognizable sets of finite graphs
- Automata in categories. The decomposition problem
- Presheaf automata
- Some fundamental algebraic tools for the semantics of computation. I. Comma categories, colimits, signatures and theories
- A hidden agenda
- The common algebraic structure of exit-automata and machines
- Transformations of structures: An algebraic approach
- Quelques propriétés algébriques des automates
- Organismic supercategores: II. On multistable systems
- Regular trees and the free iterative theory
- A proof of Choffrut's theorem on subsequential functions
- Graph congruences and wreath products
- Categories, relations and dynamic programming
- Correctness of recursive parallel nondeterministic flow programs
- Context-free languages of string diagrams
- P-varieties - a signature independent characterization of varieties of ordered algebras
- Init and Anf operating on \(\omega\)-languages
- On a multiplication of semigroup varieties
- All solutions of a system of recursion equations in infinite trees and other contraction theories
- Algebraic recognizability of regular tree languages
- Recursion-closed algebraic theories
- On rational definitions in complete algebras without rank
- Some reasons for generalising domain theory
- Fuzzy semirings
- Systematic approach to reduction and minimization in automata and system theory
This page was built for publication: Automata in general algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5565124)
