Pages that link to "Item:Q5897667"
From MaRDI portal
The following pages link to Implementation and Application of Automata (Q5897667):
Displaying 5 items.
- Simplified handling of iterated term schemata (Q616760) (← links)
- Prime normal form and equivalence of simple grammars (Q860856) (← links)
- Equivalence of simple functions (Q880171) (← links)
- Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines (Q5060068) (← links)
- Primal grammars and unification modulo a binary clause (Q5210779) (← links)