 | 1990 |
|---|
| 9 |       | Manfred Kaul,
Klaus Drosten,
Erich J. Neuhold:
ViewSystem: Integrating Heterogeneous Information Bases by Object-Oriented Views.
ICDE 1990: 2-10 |
| 1989 |
|---|
| 8 |  | Klaus Drosten:
Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
Springer 1989 |
| 1988 |
|---|
| 7 | | Klaus Drosten:
Translating Algebraic Specifications to Prolog Programs: A Comparative Study.
ALP 1988: 137-146 |
| 1986 |
|---|
| 6 | | Klaus Drosten:
Term Rewriting Systems with Restricted Variables.
ADT 1986 |
| 5 | | Hans-Dieter Ehrich,
Klaus Drosten,
Martin Gogolla:
Towards an Algebraic Semantics for Database Specification.
DS-2 1986: 119-135 |
| 1984 |
|---|
| 4 | | Klaus Drosten:
Towards Executable Specifications Using Conditional Axioms.
STACS 1984: 85-96 |
| 3 | | Martin Gogolla,
Klaus Drosten,
Udo W. Lipeck,
Hans-Dieter Ehrich:
Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.
Theor. Comput. Sci. 34: 289-313 (1984) |
| 1983 |
|---|
| 2 | | Klaus Drosten:
Executing Specifications using Conditional Axioms.
ADT 1983 |
| 1 | | Martin Gogolla,
Klaus Drosten,
Udo W. Lipeck,
Hans-Dieter Ehrich:
Algebraic and operational semantics of exceptions and errors.
Theoretical Computer Science 1983: 141-151 |
