6 citations · 6 across the 1 of their papers we have counts for
1 paper
Vincent Danos, Nicolas Oury
We present a reduction of the termination problem for a Turing machine (in the simplified form of the Post correspondence problem) to the problem of determining whether a continuou…