Undecidability of infinite post correspondence problem for instances of size 8.

Jing Dong Qinghui Liu

Published in: RAIRO Theor. Informatics Appl. (2012)

Keyphrases

description logics
point correspondences
shape correspondence
artificial intelligence
randomly generated
social networks
decision trees
case study
objective function
computational complexity
data model
lower and upper bounds