Pages that link to "Item:Q4923292"
From MaRDI portal
The following pages link to THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE (Q4923292):
Displaying 5 items.
- Multi-buffer simulations: decidability and complexity (Q1784963) (← links)
- The exact complexity of the infinite Post Correspondence Problem (Q2345861) (← links)
- Topological Characterisation of Multi-Buffer Simulation (Q4989168) (← links)
- Multi-buffer simulations for trace language inclusion (Q5015280) (← links)
- Two Effective Properties of ω-Rational Functions (Q6169907) (← links)