Informatikberichte 1995
Vasco Brattka; Peter Hertling:
Feasible real random access machines
Hagen: FernUniversität, Theoretische Informatik I, 1995. - 51 S.
(Informatik-Bericht Nummer: 193)
Gerhard Scholz; Wolfgang Wilkes; Gunter Schlageter:
EDIF, CFI core model: methodology for the specification of transformations between information models
Hagen: FernUniversität, Praktische Informatik I, 1995. - 50 S.:graph. Darst.
(Informatik-Bericht Nummer: 192)
Amitava Data; Christian Icking:
Competitive searching in a generalized street
Hagen: FernUniversität, Praktische Informatik VI, 1995. - 12 S.:graph. Darst.
(Informatik-Bericht Nummer: 191)
Ko, Ker-I [Hrsg.]:
Workshop on Computability and Complexity in Analysis
August 19 - 20, 1995, FernUniversität
Hagen, Germany ; proceedings / ed. by Ker-I Ko ...
Hagen: FernUniversität, Theoretische Informatik I, 1995. - 150 S.:graph. Darst.
(Informatik-Bericht Nummer: 190)
Wolfgang Wilkes; Thomas Kretzberg:
Modelling relationships in object oriented databases based on inheritance and templates
Hagen: FernUniversität, Praktische Informatik I, 1995. - 16 Bl. : graph. Darst.
(Informatik-Bericht Nummer: 189)
Friedrich Kemper; Wolfgang Wilkes; Gunter Schlageter:
Active relationships: a means for controlled propagation of information and activities in databases
Hagen: FernUniversität, Praktische Informatik I, 1995. - 18 S.:graph. Darst.
(Informatik-Bericht Nummer: 188)
Hermann Helbig; Marion Schulz; Claus Herold:
CLARE: A System for Classificatory Knowledge Representation
Hagen: Fernuniv., Fachbereich Informatik, 1995. - 18 S.:graph. Darst.
(Informatik-Bericht Nummer: 187)
Wagner, Hubert:
Nonaxiomatizability and Undecidability of an Infinite Valued Temporal Logic
Hagen: FernUniversität, Theoretische Informatik II, 1995. - 8 Bl.
(Informatik-Bericht Nummer: 186)
Hermann Helbig; Claus Herold:
MESNET: A Multilayered Extended Semantic Network
Hagen: FernUniversität, Praktische Informatik VII, 1995. - 23 S.: graph. Darst.
(Informatik-Bericht Nummer: 185)
Wagner, Hubert:
Computational Complexity of Infinite Valued Lukasiewicz Propositional Logic
Hagen: FernUniversität, Theoretische Informatik II, 1995. - 9 Bl.
(Informatik-Bericht Nummer: 184)
Ludger Becker; Ralf Hartmut Güting:
The GraphDB Algebra: Specification of Advanced Data Models with Second Order Signature
Hagen: FernUniversität, Praktische Informatik IV, 1995. - 36 S.: graph. Darst.
(Informatik-Bericht Nummer: 183)
Gueting, Ralf Hartmut:
Integrating Programs and Documentation
Hagen: FernUniversität, Praktische Informatik IV, 1995. - 16, [8], 9 S.: graph. Darst.
(Informatik-Bericht Nummer: 182)
Beierle, Christoph:
Type Inferencing for Polymorphic Order Sorted Logic Programs
Hagen: FernUniversität, Praktische Informatik VIII, 1995. - 15 S.
(Informatik-Bericht Nummer: 181)
Hertling, Peter:
Disjunctive Omega-Words and Real Numbers
Hagen: FernUniversität, Theoretische Informatik I, 1995. - 29 S.
(Informatik-Bericht Nummer: 180)
Schneeweiss, Winfrid G.:
Calculating Mean Life of Big Non-Repaired Electronics Systems
Hagen: FernUniversität, Technische Informatik I, 1995. - 21 S.: graph. Darst.
(Informatik-Bericht Nummer: 179)
Schroeder, Matthias:
Welche topologischen Räume erlauben Typ2-Komplexitätstheorie?
Hagen: FernUniversität, Fachbereich Informatik, 1995. - 49 S.
(Informatik-Bericht Nummer: 178)
Heinemann, Bernhard:
Topological modal logic for subset frames with finite descent
Hagen: FernUniversität, Fachbereich Informatik, 1995. - 24 S.
(Informatik-Bericht Nummer: 177)
Abellanas, M. [Hrsg.]:
A combinatorial property of convex sets
Hagen: FernUniversität, Fachbereich Informatik, 1995. - 14 S.: graph. Darst.
(Informatik-Bericht Nummer: 176)
Christian Icking; Rolf Klein:
Competitive strategies for autonomous systems
Hagen: FernUniversität, Praktische Informatik VI, 1995. - 19 S.: graph. Darst.
(Informatik-Bericht Nummer: 175)
Le, Ngoc-Minh:
Randomized incremental construction of simple abstract Voronoi diagrams in 3-space
Hagen: FernUniversität, Fachbereich Informatik, 1995. - 16 S.: graph. Darst.
(Informatik-Bericht Nummer: 174)
Abellanas, M. [Hrsg.]:
Voronoi diagrams and containment of families of convex sets on the plane
Hagen: FernUniversität, Fachbereich Informatik, 1995. - 9 S.: graph. Darst.
(Informatik-Bericht Nummer: 173)
Le, Ngoc-Minh:
On determining optimal strategies in pursuit games in the plane
Hagen: FernUniversität, Fachbereich Informatik, 1995. - 22 S.: graph. Darst.
(Informatik-Bericht Nummer: 172)
Weihrauch, Klaus:
A simple introduction to computable analysis
(Preliminary version)
Hagen: FernUniversität, Theoretische Informatik I, 1995. - 79 S.: graph. Darst.
(Informatik-Bericht Nummer: 171)
Ralf Hartmut Güting; Thomas de Ridder; Markus Schneider:
Implementation of the ROSE algebra: efficient algorithms for realm based spatial data types
Hagen: FernUniversität, Praktische Informatik IV, 1995. - 24 S.: graph. Darst.
(Informatik-Bericht Nummer: 170)
Hermann Helbig; Andreas Mertens:
The Word Class Agent Machine
Hagen: FernUniversität, Praktische Informatik VII, 1995. - 18 S.: graph. Darst.
(Informatik-Bericht Nummer: 169)
