The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable

Karel Culik II, Juhani Karhumäki. The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable. In Jozef Gruska, Branislav Rovan, Juraj Wiedermann, editors, Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings. Volume 233 of Lecture Notes in Computer Science, pages 264-272, Springer, 1986.

Abstract

Abstract is missing.