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

Yair Itzhaik, Amiram Yehudai

Browse the full ICALP paper archive.