Volume 25,
Number 1/2,
January / February 1989
- Konrad Engel:
About k-optimal Representations of Posets.
3-10
- Bernhard Thalheim:
On Semantic Issues Connected with Keys in Relational Databases Permitting Null Values.
11-20
- Frank van Harmelen:
An Overview of Metal-level Architectures for Control in Experts Systems.
21-35
- János Sztrik:
Asymptotic Reliability Analysis of Some Complex Systems with Repair Operating in Random Environments.
37-43
Volume 25,
Number 3,
March 1989
Volume 25,
Number 4,
April 1989
Volume 25,
Number 5/6,
May / June 1989
- Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce:
Algebraic Specification of Modules and Configuration Families.
205-232
- Thomas Fischer:
Lower Bound Proofs via Voronoi Diagrams.
233-238
- Rusins Freivalds, Efim B. Kinber, Rolf Wiehagen:
On the Power of Probabilistic Inductive Inference in Nonstandard Numberings.
239-243
- Zdzislaw Habasinski:
Solving Generalized Equations Over Infinite Trees.
245-254
- Gerhard Lischke:
Types of Separations for Relativized Complexity Classes.
255-262
- Alberto Pettorossi, Andrzej Skowron:
The Power of the Lambda Abstraction Strategy for Program Derivation.
263-281
- Gerard R. Renardel de Lavalette:
Modularisation, Parametrisation, Interpolation.
283-292
- Gisela Schäfer-Richter:
A Time Logic for Hierarchical Modelling of Dynamic Systems.
293-306
Volume 25,
Number 7,
July 1989
- Ahmed M. Rashad:
On Symmetrical Superimposed Codes.
337-341
- Andreas Makris:
A Generalized Multi-commodity Location-Allocation Model.
343-350
- Eckhard Manthei:
Zusammenhangswahrscheinlichkeit und Möbiusinversion.
351-359
- Marlies Reschke, Klaus Denecke:
Ein neuer Beweis für die Ergebnisse von E. L. Post über abgeschlossene Klassen Boolescher Funktionen.
361-380
Volume 25,
Number 8/9,
August / September 1989
- Bernhard Convent:
Deciding Finiteness, Groundness and Domain Independence of Pure Datalog Queries.
401-416
- Ingo Wegener, László Zádori:
A Note on the Relations Between Critical and Sensitive Complexity.
417-421
- Jürgen Dassow:
Graph-theoretical Properties and Chain Code Picture Languages.
423-433
- Efim B. Kinber:
Inductive Synthesis of Programs for Recursive Functions from Sample Computations.
435-456
- Behnam Pourbabai:
A Finite Capacity Telecommunication System With Repeated Calls.
457-467
Volume 25,
Number 10,
October 1989
Volume 25,
Number 11/12,
November / Dezember 1989
Last update Sat May 26 06:13:41 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
