Sciweavers

FSTTCS
2005
Springer

The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable

14 years 5 months ago
The Equivalence Problem for Deterministic MSO Tree Transducers Is Decidable
Joost Engelfriet, Sebastian Maneth
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where FSTTCS
Authors Joost Engelfriet, Sebastian Maneth
Comments (0)