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)

PDF Version


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)

PDF-Version


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)

PDF-Version


Gueting, Ralf Hartmut:

Integrating Programs and Documentation

Hagen: FernUniversität, Praktische Informatik IV, 1995. - 16, [8], 9 S.: graph. Darst.

(Informatik-Bericht Nummer: 182)

PDF-Version


Beierle, Christoph:

Type Inferencing for Polymorphic Order Sorted Logic Programs

Hagen: FernUniversität, Praktische Informatik VIII, 1995. - 15 S.

(Informatik-Bericht Nummer: 181)

PDF-Version


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)

PDF Version


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)

PDF-Version


Hermann Helbig; Andreas Mertens:

The Word Class Agent Machine

Hagen: FernUniversität, Praktische Informatik VII, 1995. - 18 S.: graph. Darst.

(Informatik-Bericht Nummer: 169)

PDF-Version

Gabriele Becker | 10.05.2024