Joost Engelfriet
-
MSO definable string transductions and two-way finite-state transducers
ACM Transactions on Computational Logic (TOCL)
Weighted tree automata and weighted logics
Theoretical Computer Science