RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Subscriber Authentication Point

EDPS Account

Search

Undecidability of infinite post correspondence problem for instances of size 8

Jing Dong and Qinghui Liu

RAIRO-Theor. Inf. Appl., 46 3 (2012) 451-457

Published online: 22 June 2012

DOI: 10.1051/ita/2012015

This search tool will display articles in our database by authors of the selected article:

Select your author(s):

Jing Dong

Qinghui Liu

Search method:

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)