multicounter
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Adjective[edit]
multicounter (not comparable)
- Involving more than one counter.
- 2016, Witold Charatonik, Piotr Witkowski, “Two-variable Logic with Counting and a Linear Order”, in arXiv[1]:
- Surprisingly, the complexity of the problem explodes when we add one binary symbol more: C2 with one linear order and in the presence of other binary predicate symbols is equivalent, under elementary reductions, to the emptiness problem for multicounter automata.