DP lower bounds for equivalence-checking and model-checking of one-counter automata

Petr Jancar, AntonĂ­n Kucera, Faron Moller, Zdenek Sawa. DP lower bounds for equivalence-checking and model-checking of one-counter automata. Inf. Comput., 188(1):1-19, 2004. [doi]

Abstract

Abstract is missing.