Article,

On the Decidability of Equivalence for Deterministic Pushdown Transducers.

, and .
Inf. Process. Lett., 13 (3): 89-93 (1981)

Meta data

Tags

Users

  • @dblp

Comments and Reviews