18 citations · 46 across the 8 of their papers we have counts for
1 paper · 1 filter
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…