Edit this page Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== Undecidability Results ====== {{:aa:rice.pdf|06a. Rice's Theorem (lecture notes)}} {{:aa:rice-split.pdf|06a. Rice's Theorem (slides)}} {{:aa:pcp.pdf|06b. Post's Correspondence Problem (lecture notes)}} {{:aa:pcp-split.pdf|06b. Post's Correspondence Problem (slides)}}