Liste des citations dans Numdam pour : Undecidability of infinite post correspondence problem for instances of size 9

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 40 (2006) no. 4, pp. 551-557.

---