The following pages link to Counter machines (Q1606993):
Displaying 11 items.
- Register machines with counters (Q679981) (← links)
- Remarks on two-way automata with weak-counters (Q793509) (← links)
- Universality of a reversible two-counter machine (Q1349861) (← links)
- Counter machines and distributed automata -- a story about exchanging space and time (Q1656682) (← links)
- Computations on register machines with counters (Q1744355) (← links)
- Computations on counter machines with summator (Q1789205) (← links)
- Counter machines and crystallographic structures (Q2003451) (← links)
- Machines (Q4907913) (← links)
- Very Simple Chaitin Machines for Concrete AIT (Q5472891) (← links)
- Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version) (Q6137845) (← links)
- First order Büchi automata and their application to verification of LTL specifications (Q6643476) (← links)