Pages that link to "Item:Q3864502"
From MaRDI portal
The following pages link to Restricted one-counter machines with undecidable universe problems (Q3864502):
Displayed 6 items.
- Undecidability in matrices over Laurent polynomials. (Q705234) (← links)
- On the universe, disjointness, and containment problems for simple machines (Q710740) (← links)
- Two-way deterministic multi-weak-counter machines (Q1165028) (← links)
- On two-way weak counter machines (Q3766856) (← links)
- On restricted one-counter machines (Q3926065) (← links)
- On differentiation functions, structure functions, and related languages of context-free grammars (Q4825398) (← links)