Pages that link to "Item:Q6091196"
From MaRDI portal
The following pages link to Unboundedness problems for machines with reversal-bounded counters (Q6091196):
Displaying 5 items.
- On the termination and structural termination problems for counter machines with incrementing errors (Q2037198) (← links)
- On the termination problem for counter machines with incrementing errors (Q2330597) (← links)
- ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS (Q3526543) (← links)
- Reversal-Bounded Counter Machines Revisited (Q3599138) (← links)
- Solvable problems for transformers with reversal-bounded counters (Q3747751) (← links)