On Ladner's Result for a Class of Real Machines with Restricted Use of Constants.

Klaus Meer

Browse the full CiE paper archive.