Search
Now showing items 1-10 of 455
(Research report / Forskningsrapport, 1997)
(Research report / Forskningsrapport, 1997)
(Research report / Forskningsrapport, 1995)
(Research report / Forskningsrapport, 1993)
(Research report / Forskningsrapport, 1993)
(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)
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, 1993)
(Research report / Forskningsrapport, 1997)
(Research report / Forskningsrapport, 1992)