Article,

Single-Valuedness of Tree Transducers is Decidable in Polynomial Time.

.
Theor. Comput. Sci., 106 (1): 135-181 (1992)

Meta data

Tags

Users

  • @dblp

Comments and Reviews