Skip to content

Decidability of the Equivalence Problem for Synchronous Deterministic Pushdown Automata.

A. Sh. Nepomnjashchaja

VenueBMFCS
Year1984
ProceedingsMFCS

Browse the full MFCS paper archive.