Search
Now showing items 1-10 of 38
(Research report / Forskningsrapport, 1998)
The report summarizes the work performed at the Department of Mathematics, during the first two years of the European research project GITEC-TWO (contract ENV4-U96-0297). Some of the result will subsequently be published ...
(Research report / Forskningsrapport, 1998)
We show that to every recursive total continuous functional there is a total functional below it that is S1-S9 computable in the hierarchy of partial continuous functionals, or equivalently, that is PCF-definable in the ...
(Research report / Forskningsrapport, 1998)
(Research report / Forskningsrapport, 1998)
(Research report / Forskningsrapport, 1998)
(Research report / Forskningsrapport, 1998)
(Research report / Forskningsrapport, 1998)
(Research report / Forskningsrapport, 1998)
(Research report / Forskningsrapport, 1998)
(Research report / Forskningsrapport, 1998)