Skip to content

Decidability of Equivalence for Linear Letter to Letter To-down Tree Transducers.

Yves Andre, Francis Bossut

VenueBFCT
Year1993
ProceedingsFCT

Browse the full FCT paper archive.