Renate Schäfers

Publication Activity (10 Years)

Years Active: 1987-1993
Publications (10 Years): 0

Publications

Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas
Program Development: Completion Subsystem. PROSPECTRA Book (1993)
Harald Ganzinger, Renate Schäfers
System Support for Modular Order-Sorted Horn Clause Specifications. ICSE (1990)
Hubert Bertling, Harald Ganzinger, Renate Schäfers
CEC: A System for the Completion of Conditional Equational Specifications. ESOP (1988)
Hubert Bertling, Harald Ganzinger, Renate Schäfers
A Systems for the Completion of Conditional Equational Specifications. CTRS (1987)