TY  - RPRT
TI  - Verification of PCP-Related Computational Reductions in Coq
AU  - Yannick Forster
AU  - Edith Heiter
AU  - Gert Smolka
PY  - 2018
DO  - 10.1007/978-3-319-94821-8_15
UR  - https://arxiv.org/abs/1711.07023
ID  - 1711.07023
ER  -