|
Search the dblp DataBase
Renate Schäfers:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hubert Bertling, Harald Ganzinger, Renate Schäfers
A Systems for the Completion of Conditional Equational Specifications. [Citation Graph (0, 0)][DBLP] CTRS, 1987, pp:249-250 [Conf]
- Hubert Bertling, Harald Ganzinger, Renate Schäfers
CEC: A System for the Completion of Conditional Equational Specifications. [Citation Graph (0, 0)][DBLP] ESOP, 1988, pp:378-379 [Conf]
- Harald Ganzinger, Renate Schäfers
System Support for Modular Order-Sorted Horn Clause Specifications. [Citation Graph (0, 0)][DBLP] ICSE, 1990, pp:150-159 [Conf]
- Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas
Program Development: Completion Subsystem. [Citation Graph (0, 0)][DBLP] PROSPECTRA Book, 1993, pp:460-494 [Conf]
Search in 0.001secs, Finished in 0.002secs
|