CIE
2006
Springer
13 years 8 months ago
2006
Springer
In this paper we first survey recent advances on phase transition phenomena which are related to natural subclasses of the recursive functions. Special emphasis is put on descent ...
CIE
2006
Springer
13 years 8 months ago
2006
Springer
We describe two representations for real numbers, signed digit streams and Cauchy sequences. We give coinductive proofs for the correctness of functions converting between these tw...
CIE
2006
Springer
13 years 8 months ago
2006
Springer
CIE
2006
Springer
13 years 8 months ago
2006
Springer
CIE
2006
Springer
13 years 8 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
CIE
2006
Springer
13 years 8 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
13 years 8 months ago
2006
Springer
le conservative rational abstract geometrical computation is Turing-universal d abstract) J
CIE
2006
Springer
13 years 8 months ago
2006
Springer
CIE
2006
Springer
13 years 8 months ago
2006
Springer
CIE
2006
Springer
13 years 8 months ago
2006
Springer
