Stem multicount$ (all stems)

6 papers:

DLT-2004-Potapov #automaton #matrix #multi #problem #reachability

From Post Systems to the Reachability Problems for Matrix Semigroups and Multicounter Automata (IP), pp. 345–356.

ICALP-2003-HromkovicS #automaton #comparison #multi

Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes (JH, GS), pp. 66–80.

CIAA-J-2000-Ibarra02 #multi #verification

Verification in Queue-Connected Multicounter Machines (OHI), pp. 115–127.

STOC-1982-Vitanyi #multi #realtime #simulation #turing machine

Real-Time Simulation of Multicounters by Oblivious One-Tape Turing Machines (PMBV), pp. 27–36.

ICALP-1982-Vitanyi #multi #performance #simulation

Efficient Simulations of Multicounter Machines (PMBV), pp. 546–560.

ICALP-1981-GurariI #complexity #multi #problem

The Complexity of Decision Problems for Finite-Turn Multicounter Machines (EMG, OHI), pp. 495–505.