@Article{         BohmGollerJancar,
  Author        = {B{\"o}hm, Stanislav and G{\"o}ller, Stefan and Jan{\v c}ar, Petr},
  Abstract      = "We prove that language equivalence of deterministic one-counter automata is NL-complete. This improves the superpolynomial time complexity upper bound shown by Valiant and Paterson in 1975. Our main contribution is to prove that two deterministic one-counter automata are inequivalent if and only if they can be distinguished by a word of length polynomial in the size of the two input automata.",
  date-added    = "2015-05-21 10:36:00 +0000",
  date-modified = "2015-05-21 10:36:00 +0000",
  EPrint        = "1301.2181",
  Month         = "01",
  Title         = "Equivalence of Deterministic One-Counter Automata is NL-complete",
  URL           = "http://arxiv.org/abs/1301.2181",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1301.2181",
  File          = "Equivalence of Deterministic One-Counter Automata is NL-complete - Böhm, Göller, Jančar (0) (0) - a - a - l.pdf"
}

@Article{ BohmGollerJancar, Author = {B{\"o}hm, Stanislav and G{\"o}ller, Stefan and Jan{\v c}ar, Petr}, Abstract = "We prove that language equivalence of deterministic one-counter automata is NL-complete. This improves the superpolynomial time complexity upper bound shown by Valiant and Paterson in 1975. Our main contribution is to prove that two deterministic one-counter automata are inequivalent if and only if they can be distinguished by a word of length polynomial in the size of the two input automata.", date-added = "2015-05-21 10:36:00 +0000", date-modified = "2015-05-21 10:36:00 +0000", EPrint = "1301.2181", Month = "01", Title = "Equivalence of Deterministic One-Counter Automata is NL-complete", URL = "http://arxiv.org/abs/1301.2181", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1301.2181", File = "Equivalence of Deterministic One-Counter Automata is NL-complete - Böhm, Göller, Jančar (0) (0) - a - a - l.pdf" }