Renate Schäfers

According to our database, Renate Schäfers authored at least 4 papers between 1987 and 1993.

Collaborative distances:

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

1993

Program Development: Completion Subsystem.

Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas

Proceedings of the Program Development by Specification and Transformation, 1993

1990

System Support for Modular Order-Sorted Horn Clause Specifications.

Harald Ganzinger, Renate Schäfers

Proceedings of the 12th International Conference on Software Engineering, 1990

1988

CEC: A System for the Completion of Conditional Equational Specifications.

Hubert Bertling, Harald Ganzinger, Renate Schäfers

Proceedings of the ESOP '88, 1988

1987

A Systems for the Completion of Conditional Equational Specifications.

Hubert Bertling, Harald Ganzinger, Renate Schäfers

Proceedings of the Conditional Term Rewriting Systems, 1987