Login / Signup

On the Decidability of Equivalence for Deterministic Pushdown Transducers.

Oscar H. IbarraLouis E. Rosier
Published in: Inf. Process. Lett. (1981)
Keyphrases