Pages that link to "Item:Q3423136"
From MaRDI portal
The following pages link to Undecidability of infinite post correspondence problem for instances of Size 9 (Q3423136):
Displaying 11 items.
- Porous invariants (Q832262) (← links)
- Integer weighted automata on infinite words (Q832935) (← links)
- Weighted automata on infinite words in the context of attacker-defender games (Q2013554) (← links)
- The exact complexity of the infinite Post Correspondence Problem (Q2345861) (← links)
- Extension of the decidability of the marked PCP to instances with unique blocks (Q2373757) (← links)
- Undecidability of infinite post correspondence problem for instances of size 8 (Q2905329) (← links)
- Weighted Automata on Infinite Words in the Context of Attacker-Defender Games (Q3195698) (← links)
- THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ω-LANGUAGE (Q4923292) (← links)
- Integer Weighted Automata on Infinite Words (Q6169963) (← links)
- On the Monniaux problem in abstract interpretation (Q6536286) (← links)
- Porous invariants for linear systems (Q6632205) (← links)
