RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Decidability of equivalence for a class of non-deterministic tree transducers

Yves André and Max Dauchet

RAIRO-Theor. Inf. Appl., 28 5 (1994) 447-463

Published online: 01 February 2017

DOI: 10.1051/ita/1994280504471

Yves André

Max Dauchet

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)