TY  - RPRT
TI  - Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language
AU  - Olivier Finkel
PY  - 2011
DO  - 10.1142/s0129054112400606
UR  - https://arxiv.org/abs/1107.5886
ID  - 1107.5886
ER  -