50 search results - page 7 / 10 » cie 2006 |
CIE
2006
Springer
14 years 1 months ago
2006
Springer
traction for an Object-Oriented Calculus with Thread Classes Erika
CIE
2006
Springer
14 years 1 months ago
2006
Springer
le conservative rational abstract geometrical computation is Turing-universal d abstract) J
CIE
2006
Springer
14 years 1 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
CIE
2006
Springer
14 years 1 months ago
2006
Springer
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines as a foundation of computability and that these can be overcome by so-called super...
CIE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...