Informatikberichte 2003

Vasco Brattka

Computability on Asymmetric Spaces

Hagen: FernUniversität, Fachbereich Informatik, 12/2003 - 143 S.

(Informatik-Bericht Nummer: 305)


Udo Hönig, Jörg Keller, Wolfram Schiffmann

Internet-Basierter Übungsbetrieb in Technischer Informatik

Hagen: FernUniversität, Fachbereich Informatik, 11/2003 - 11 S.

(Informatik-Bericht Nummer: 304)

PDF-Version


Rainer Osswald

A Logic of Classification with Applications to Linguistic Theory

Hagen: FernUniversität, Fachbereich Informatik, 09/2003 - 252 S.

(Informatik-Bericht Nummer: 303)


Vasco Brattka, Mathias Schröder, Klaus Weihrauch, Ning Zhong

Computability and Complexity in Analysis

Hagen: FernUniversität, Fachbereich Informatik, 08/2003 - 406 S.

(Informatik-Bericht Nummer: 302)


Marija Kulaš

A formal model of pure Prolog execution based on ports

Hagen: FernUniversität, Fachbereich Informatik, 07/2003 - 15 S.

(Informatik-Bericht Nummer: 301)

PDF-Version


Vasco Brattka

Plottable real number functions and the computable graph theorem

Hagen: FernUniversität, Fachbereich Informatik, 07/2003 - 26 S.

(Informatik-Bericht Nummer: 300)

PDF-Version


Matthias Schröder

Admissible Representations for Continuous Computations

Hagen: FernUniversität, Fachbereich Informatik, 04/2003 - 203 S.

(Informatik-Bericht Nummer: 299)

PDF-Version


Peter Hertling

Is the Mandelbrot Set computable?

Hagen: FernUniversität, Fachbereich Informatik, 3/2003 -20 S.

(Informatik-Bericht Nummer: 298)

PDF-Version

Gabriele Becker | 10.05.2024