Pages that link to "Item:Q1136223"
From MaRDI portal
The following pages link to Simple counter machines and number-theoretic problems (Q1136223):
Displaying 9 items.
- Descriptional complexity of two-way pushdown automata with restricted head reversals (Q443747) (← links)
- A note on bounded-reversal multipushdown machines (Q1057071) (← links)
- A characterization of reversal-bounded multipushdown machine languages (Q1058865) (← links)
- Finite automata and unary languages (Q1099644) (← links)
- The complexity of the equivalence problem for two characterizations of Presburger sets (Q1149429) (← links)
- Two-way deterministic multi-weak-counter machines (Q1165028) (← links)
- Counter machines and verification problems. (Q1853523) (← links)
- Removing nondeterminism in constant height pushdown automata (Q2252532) (← links)
- New decidability results concerning two-way counter machines and applications (Q4630270) (← links)