Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

multicounter en · ADJ

Etymology

From multi- + counter.

Meanings

  1. (not-comparable) Involving more than one counter.
    • 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. 2016, Witold Charatonik, Piotr Witkowski, “Two-variable Logic with Counting and a Linear Order”, in arXiv: