@Article{         HeusnerKartzow,
  Author        = "Heu{\ss}ner, Alexander and Kartzow, Alexander",
  Abstract      = "Higher-order counter automata (\HOCS) can be either seen as a restriction of higher-order pushdown automata (\HOPS) to a unary stack alphabet, or as an extension of counter automata to higher levels. We distinguish two principal kinds of \HOCS: those that can test whether the topmost counter value is zero and those which cannot.",
  date-added    = "2014-09-15 11:51:38 +0000",
  date-modified = "2014-09-15 11:51:38 +0000",
  EPrint        = "1306.1069",
  Month         = "06",
  Title         = "Reachability in Higher-Order-Counters",
  URL           = "http://arxiv.org/abs/1306.1069",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1306.1069",
  File          = "Reachability in Higher-Order-Counters - Heußner, Kartzow (1) (0) - a - a - v.pdf",
  file-2        = "Reachability in Higher-Order-Counters - Heußner, Kartzow (0) (0) - a - a - v.pdf"
}

@Article{ HeusnerKartzow, Author = "Heu{\ss}ner, Alexander and Kartzow, Alexander", Abstract = "Higher-order counter automata (\HOCS) can be either seen as a restriction of higher-order pushdown automata (\HOPS) to a unary stack alphabet, or as an extension of counter automata to higher levels. We distinguish two principal kinds of \HOCS: those that can test whether the topmost counter value is zero and those which cannot.", date-added = "2014-09-15 11:51:38 +0000", date-modified = "2014-09-15 11:51:38 +0000", EPrint = "1306.1069", Month = "06", Title = "Reachability in Higher-Order-Counters", URL = "http://arxiv.org/abs/1306.1069", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1306.1069", File = "Reachability in Higher-Order-Counters - Heußner, Kartzow (1) (0) - a - a - v.pdf", file-2 = "Reachability in Higher-Order-Counters - Heußner, Kartzow (0) (0) - a - a - v.pdf" }