Informatikberichte 1993

Peter Hertling; Klaus Weihrauch:

On the topological classification of degeneracies - Short version

Hagen: FernUniversität, Theoretische Informatik I, 1993 [erschienen] 1994. - 12 S.

(Informatik-Bericht Nummer: 154)


Hertling, Peter:

Stetige Reduzierbarkeit auf omega von Funktionen mit zweielementigem Bild und von zweistetigen Funktionen mit diskretem Bild

Hagen: FernUniversität, Theoretische Informatik I, 1993. - 44 S.: graph. Darst.

(Informatik-Bericht Nummer: 153)


Hertling, Peter:

Topologische Komplexitätsgrade von Funktionen mit endlichem Bild

Hagen: FernUniversität, Theoretische Informatik I, 1993. - 34 S.

(Informatik-Bericht Nummer: 152)


Heinemann, Bernhard:

Modal logic on wheels

Hagen: FernUniversität, Theoretische Informatik I, 1993. - 27 S.: graph. Darst.

(Informatik-Bericht Nummer: 151)


Rolf Klein; Andrzej Lingas:

A linear time randomized algorithm for the bounded Voronoi diagram of a simple polygon

Hagen: FernUniversität, Praktische Informatik VI, 1993. - 21 S.: graph. Darst.

(Informatik-Bericht Nummer: 150)


Meyer, Renate:

Metainterpretation zur Berechnung intensionaler Antworten in deduktiven Datenbanken

Hagen: FernUniversität, Fachbereich Informatik, 1993. - 35 S.

(Informatik-Bericht Nummer: 149)


Wolf, Brigitte:

Fehlerbaum-Synthese für Zusammenhangsprobleme in stochastischen Graphen

Hagen: FernUniversität, Fachbereich Informatik, 1993. - 103 S.: graph. Darst.

(Informatik-Bericht Nummer: 148)


Heinemann, Bernhard:

Some comments on expressiveness of modal logic

Hagen: FernUniversität, Fachbereich Informatik, 1993. - 31 S.: graph. Darst.

(Informatik-Bericht Nummer: 147)


Beierle, Christoph [Hrsg.]:

9. Workshop Logische Programmierung :
Hagen, Oktober 1993

Hagen: FernUniversität, Fachbereich Informatik, 1993. - 111 S.

(Informatik-Bericht Nummer: 146)


Meyer, Renate:

Die Berechnung intensionaler Antworten in deduktiven Datenbanken durch eine Fixpunktoperation

Hagen: FernUniversität, Fachbereich Informatik, 1993. - 25 S.

(Informatik-Bericht Nummer: 145)


Beierle, Christoph:

Run-Time type computations in the Warren Abstract Machine

Hagen: FernUniversität, Fachbereich Informatik, 1993

(Informatik-Bericht Nummer: 144)

PDF-Version


Jäger, Ute:

Zufallsbeeinflußte Kellerautomaten

Hagen: FernUniversität, GHS, Fachber. Informatik, 1993. - 114 S.:graph. Darst.

(Informatik-Bericht Nummer: 143)


Bernd-Uwe Pagel; Hans-Werner Six; Heinrich Toben:

The transformation technique for spatial objects revisited

Hagen: FernUniversität, GHS, Fachbereich Informatik, 1993. - 20 S.:graph. Darst.

(Informatik-Bericht Nummer: 142)


Ralf Hartmut Güting; Markus Schneider:

Realm based spatial data types: the ROSE Algebra

Hagen: FernUniversität, 1993. - 35 S.:graph. Darst.

(Informatik-Bericht Nummer: 141)


Icking, Christian [Hrsg.]:

Abstracts / 9. European Workshop on Computational Geometry, CG '93, March 18 - 19, 1993,
Hagen, Germany, Galerie Oben, Fleyer Straße 204 / organized by Fernuniversität Hagen.

Hagen: FernUniversität, Fachbereich Informatik, 1993. - VII Bl., 81 S.:graph. Darst.

(Informatik-Bericht Nummer: 140)


Meyer, Bernd:

Pictures depicting pictures: on the specification of visual languages by visual grammars

Hagen: FernUniversität, Fachbereich Informatik, 1993. - 20 S. : Ill., graph. Darst.

(Informatik-Bericht Nummer: 139)

Gabriele Becker | 10.05.2024