dblp.uni-trier.dewww.uni-trier.de

Renate Schäfers Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1993
4 Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas: Program Development: Completion Subsystem. PROSPECTRA Book 1993: 460-494
1990
3 Harald Ganzinger, Renate Schäfers: System Support for Modular Order-Sorted Horn Clause Specifications. ICSE 1990: 150-159
1988
2EEHubert Bertling, Harald Ganzinger, Renate Schäfers: CEC: A System for the Completion of Conditional Equational Specifications. ESOP 1988: 378-379
1987
1 Hubert Bertling, Harald Ganzinger, Renate Schäfers: A Systems for the Completion of Conditional Equational Specifications. CTRS 1987: 249-250

Coauthor Index

1Hubert Bertling [1] [2] [4]
2Harald Ganzinger [1] [2] [3] [4]
3Robert Nieuwenhuis [4]
4Fernando Orejas [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)