The following pages link to (Q5659467):
Displayed 20 items.
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Soliton automata (Q909470) (← links)
- Automata represented by products of soliton automata (Q914406) (← links)
- Generating series for bilinear hybrid systems (Q984747) (← links)
- Span-reachability and observability of bilinear hybrid systems (Q987608) (← links)
- Realization theory for linear switched systems: formal power series approach (Q998665) (← links)
- Complete classes of automata for the \(\alpha _ 0\)-product (Q1089802) (← links)
- An equational axiomatization of systolic systems (Q1122990) (← links)
- Polynomial-time algorithms for testing strong isomorphism and computing the automorphism group of \(R\)-strongly connected automata (Q1184982) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- Efficient simplicity testing of automata (Q1193902) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← links)
- On the equivalence of Mealy-type and Moore-type automata and a relation between reducibility and Moore-reducibility (Q1239135) (← links)
- General metrics and contracting operations (Q1331969) (← links)
- On \(\alpha{}_ 0-\nu{}_ 1\)-products of automata (Q1814100) (← links)
- Halbgruppen und Automaten (Q1845093) (← links)
- Symmetry principles via interactions and symmetry-violations. (Q1855955) (← links)
- Unary algebras, semigroups and congruences on free semigroups (Q1882916) (← links)
- On Kleene algebras (Q5894726) (← links)
- Systems of generators of automaton permutations groups (Q5951308) (← links)