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