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

Klaus Meer On Ladner's Result for a Class of Real Machines with Restricted Use of Constants. 352-361 2009 CiE http://dx.doi.org/10.1007/978-3-642-03073-4_36 conf/cie/2009 db/conf/cie/cie2009.html#Meer09