Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers.

Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara

Browse the full LATA paper archive.