GI — 10. Jahrestagung

Fachgespräche (KV = Kurzvortrag)

1. Datenbanken/Data Base Systems

   1. An Interface to Interrogate Heterogeneous Distributed Databases

      • Patrick Bosc

      Pages 258-258

   2. Rekonstruktion eines global-konsistenten Zustandes in verteilten Datenbank-Systemen

      • Peter Dadam

      Pages 259-259

   3. Implementation of a Relational Data Base System on Top of a Commercial DBMS

      • M. Böhm, M. Riemer, K.-H. Höhne

      Pages 260-260

2. Schutzmechanismen in Rechensystemen/Protection Mechanisms in Computing Systems

   1. Schutz im OSKAR-Betriebssystem

      • Klaus Dittrich, Karlheinz Hug, Peter Kammerer, Dieter Lienert, Hans Mau, Klaus Wachsmuth

      Pages 261-276

   2. Synchronization and Protection Features for Data Abstraction

      • D. Herman, M. Raynal

      Pages 277-291

   3. Probleme beim Entwurf sicherer Datenbanksysteme

      • Th. von Bomhard, H. vor der Brück, N. Ramsperger

      Pages 292-303

   4. Subjektorientierte Zugriffsautorisierung

      • W. Ballin

      Pages 304-304

   5. Schutzmechanismen in Einem Betriebssystem für Eine Multimikrocomputerkonfiguration

      • S. Keramidis, M. Reitenspieß

      Pages 305-305

3. Neuere Tendenzen in der Theoretischen Informatik und Ihre Auswirkungen Auf Die Praxis/New Tendencies in Theoretical Computer Science and Their Impact on Practical Problems

   1. Polynomials — The Specification, Analysis and Development of an Abstract Data Type

      • W. Dosch, M. Wirsing, G. Ausiello, G. F. Mascari

      Pages 306-320

   2. A LR-Like Analyzer Algorithm for Graphs

      • Helmut J. Ludwigs

      Pages 321-335

   3. Platz- und Zeiteffiziente Realisierung des Laufzeitkellers dei Blockstrukturierten Programmiersprachen

      • Bernd H. Schmidt

      Pages 336-348

   4. Ein Sortierverfahren für Registermaschinen

      • Stefan Reisch

      Pages 349-349

   5. Sortieren in Magnetblasenspeichern

      • Michael Breder

      Pages 350-350

   6. Das P = NP-Problem in der Kategorie der partiellen Ordnungen mit 2-stelligen Suprema

      • H. Huwig

      Pages 351-364

   7. Untere Zeitschranken für das Rucksack-Problem

      • P. Klein, F. Meyer

      Pages 365-374

   8. Multidimensional B-tree: An efficient dynamic file structure for exact match queries

      • H. Güting, H. P. Kriegel

      Pages 375-388

   9. Towards Single Probe Retrieval

      • G. Jaeschke

      Pages 389-399

4. Künstliche Intelligenz/Artificial Intelligence

   1. Das Karlsruher Beweissystem

      • N. Eisinger, J. Siekmann, G. Smolka, E. Unvericht, Chr. Walther

      Pages 400-412

   2. Ein Entwurf zur Maschinellen Unterstützung von Korrektheitsbeweisen bei Simulationen

      • Wolfram-Manfred Lippe, Franz Wagner

      Pages 413-427

   3. On the Treatment of Equivalence Connectives in Automated Theorem Proving

      • Graham Wrightson

      Pages 428-428