Simulation-Based Iteration of Tree Transducers.

Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, Ahmed Rezine

Browse the full TACAS paper archive.