- Extended multi bottom--up tree transducers Joost Engelfriet Eric Lilin Andreas Maletti Thu 09 January 2014
- Compositions of extended top-down tree transducers Andreas Maletti Thu 09 January 2014
- High level tree transducers and iterated pushdown tree transducers Joost Engelfriet Heiko Vogler Tue 26 February 2013
- Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations Joost Engelfriet Sebastian Maneth Tue 26 February 2013
- Macro Tree Transducers Joost Engelfriet Heiko Vogler Tue 26 February 2013
- Mappings and grammars on trees William C. Rounds Tue 16 October 2012
- Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems Max Dauchet Thierry Heuillard Pierre Lescanne Sophie Tison Fri 28 September 2012
Library Size: 13G (7 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
