Verification of PCP-Related Computational Reductions in Coq.

Yannick Forster, Edith Heiter, Gert Smolka

Browse the full ITP paper archive.