Pages that link to "Item:Q3526543"
From MaRDI portal
The following pages link to ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS (Q3526543):
Displaying 5 items.
- Linear reachability problems and minimal solutions to linear Diophantine equation systems (Q703515) (← links)
- On the solvability of a class of Diophantine equations and applications (Q818150) (← links)
- Counter machines and verification problems. (Q1853523) (← links)
- On two-way FA with monotonic counters and quadratic Diophantine equations (Q1884954) (← links)
- On the termination problem for counter machines with incrementing errors (Q2330597) (← links)