Pages that link to "Item:Q990079"
From MaRDI portal
The following pages link to Decision problems for Turing machines (Q990079):
Displaying 6 items.
- Infinity problems and countability problems for \(\omega \)-automata (Q845856) (← links)
- On some decision problems in programming (Q1900317) (← links)
- On the complexity of stream equality (Q2875229) (← links)
- Highly Undecidable Problems For Infinite Computations (Q3625697) (← links)
- THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE (Q4923292) (← links)
- Polishness of some topologies related to word or tree automata (Q5376660) (← links)