Hubert Bertling (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas: Program Development: Completion Subsystem. PROSPECTRA Book 1993: 460-494

4 Hubert Bertling, Harald Ganzinger: Completion-Time Optimization of Rewrite-Time Goal Solving. RTA 1989: 45-58

3 Hubert Bertling, Harald Ganzinger, Renate Schäfers: CEC: A System for the Completion of Conditional Equational Specifications. ESOP 1988: 378-379

2 Hubert Bertling, Harald Ganzinger, Renate Schäfers: A Systems for the Completion of Conditional Equational Specifications. CTRS 1987: 249-250

1 Hubert Bertling, Harald Ganzinger, Hubert Baumeister: CEC (Conditional Equations Completion). STACS 1987: 470

Selection of 5 from 6 records - Hubert Bertling has 5 coauthors

6		Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas: Program Development: Completion Subsystem. PROSPECTRA Book 1993: 460-494
4		Hubert Bertling, Harald Ganzinger: Completion-Time Optimization of Rewrite-Time Goal Solving. RTA 1989: 45-58
3		Hubert Bertling, Harald Ganzinger, Renate Schäfers: CEC: A System for the Completion of Conditional Equational Specifications. ESOP 1988: 378-379
2		Hubert Bertling, Harald Ganzinger, Renate Schäfers: A Systems for the Completion of Conditional Equational Specifications. CTRS 1987: 249-250
1		Hubert Bertling, Harald Ganzinger, Hubert Baumeister: CEC (Conditional Equations Completion). STACS 1987: 470