Post correspondence problem

#	Item
1	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:14 Computer science Computability theory Models of computation Alan Turing Universal Turing machine Computability Post correspondence problem Algorithm Counter machine Theory of computation Theoretical computer science Turing machine
2	Microsoft Word - AG7-Butterflies Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:02 Probabilistic complexity theory Computability theory Post correspondence problem Probabilistically checkable proof PCP Applied mathematics Mathematics Theoretical computer science Mathematical proofs Theory of computation