Decidability of equivalence for a class of non-deterministic tree transducers (Q4365020)
From MaRDI portal
scientific article; zbMATH DE number 1081987
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability of equivalence for a class of non-deterministic tree transducers |
scientific article; zbMATH DE number 1081987 |
Statements
Decidability of equivalence for a class of non-deterministic tree transducers (English)
0 references
30 October 1997
0 references
tree transducer
0 references
