197 citations · 424 across the 13 of their papers we have counts for
1 paper · 1 filter
Laurent Bienvenu, Damien Desfontaines, Alexander Shen
The halting problem is undecidable --- but can it be solved for "most" inputs? This natural question was considered in a number of papers, in different settings. We revisit their r…