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)
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)
