An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations (Q5175903)
From MaRDI portal
scientific article; zbMATH DE number 6408273
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations |
scientific article; zbMATH DE number 6408273 |
Statements
An Efficient Algorithm for the Equation Tree Automaton via the k-C-Continuations (English)
0 references
25 February 2015
0 references
