Sign in

A Decision Procedure for the Equivalence of Two DPDAs, One of Which is Linear (Extended Abstract).

Yair ItzhaikAmiram Yehudai
Published in: ICALP (1981)
Keyphrases