Skip to content

Language Equivalence of Deterministic Real-Time One-Counter Automata Is NL-Complete.

Stanislav Bhm, Stefan Gller

VenueBMFCS
Year2011
ProceedingsMFCS

Browse the full MFCS paper archive.