An explicit solution to Post's Problem over the reals
Journal of Complexity
On Ladner's Result for a Class of Real Machines with Restricted Use of Constants
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
On Ladner's result for a class of real machines with restricted use of constants
Information and Computation
Uncomputability below the real halting problem
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
An explicit solution to post's problem over the reals
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
| Hi-index | 0.00 |