Klaus Drosten

According to our database, Klaus Drosten authored at least 10 papers between 1983 and 1990.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1990

ViewSystem: Integrating Heterogeneous Information Bases by Object-Oriented Views.

Manfred Kaul, Klaus Drosten, Erich J. Neuhold

Proceedings of the Sixth International Conference on Data Engineering, 1990

1989

Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen

Klaus Drosten

Informatik-Fachberichte 210, Springer, ISBN: 3-540-51172-5, 1989

1988

Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen.

Klaus Drosten

PhD thesis, 1988

Translating Algebraic Specifications to Prolog Programs: A Comparative Study.

Klaus Drosten

Proceedings of the Algebraic and Logic Programming, 1988

1986

Towards an Algebraic Semantics for Database Specification.

Hans-Dieter Ehrich, Klaus Drosten, Martin Gogolla

Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics, 1986

Term Rewriting Systems with Restricted Variables.

Klaus Drosten

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984

Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors.

Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich

Theor. Comput. Sci., 1984

Towards Executable Specifications Using Conditional Axioms.

Klaus Drosten

Proceedings of the STACS 84, 1984

1983

Algebraic and operational semantics of exceptions and errors.

Martin Gogolla, Klaus Drosten, Udo W. Lipeck, Hans-Dieter Ehrich

Proceedings of the Theoretical Computer Science, 1983

Executing Specifications using Conditional Axioms.

Klaus Drosten

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983