18 citations · 18 across the 1 of their papers we have counts for
1 paper
Yannick Forster, Edith Heiter, Gert Smolka
We formally verify several computational reductions concerning the Post correspondence problem (PCP) using the proof assistant Coq. Our verifications include a reduction of a strin…