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

Hubert Bertling Vis

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

*1993
6 Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas: Program Development: Completion Subsystem. PROSPECTRA Book 1993: 460-494
1990
5 Hubert Bertling: Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation. CTRS 1990: 181-193
1989
4EEHubert Bertling, Harald Ganzinger: Completion-Time Optimization of Rewrite-Time Goal Solving. RTA 1989: 45-58
1988
3EEHubert Bertling, Harald Ganzinger, Renate Schäfers: CEC: A System for the Completion of Conditional Equational Specifications. ESOP 1988: 378-379
1987
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

Coauthor Index

1Hubert Baumeister [1]
2Harald Ganzinger [1] [2] [3] [4] [6]
3Robert Nieuwenhuis [6]
4Fernando Orejas [6]
5Renate Schäfers [2] [3] [6]

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