Browse "School of Computing(전산학부)" by Subject MACHINES
Showing results 6 to 6 of 6
| Uncomputability below the real halting problem Meer, Klaus; Ziegler, Martin, LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, v.3988, pp.368 - 377, 2006 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,768 2020 - 2024
- 5,388 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989