Pages that link to "Item:Q3864502"

The following pages link to Restricted one-counter machines with undecidable universe problems (Q3864502):

Displaying 9 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)
• Word problems of groups: formal languages, characterizations and decidability (Q1623276) (← links)
• Incompleteness Theorems, Large Cardinals, and Automata over Finite Words (Q2988824) (← 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)
• Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words (Q5384126) (← links)