Download citation

Undecidability of infinite post correspondence problem for instances of size 8

RAIRO-Theor. Inf. Appl., 46 3 (2012) 451-457
DOI: https://doi.org/10.1051/ita/2012015