Hubert Bertling

Publication Activity (10 Years)

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

Technical University of Dortmund, Germany (PHD)

Education History

Technical University of Dortmund, Germany

PHD

Publications

Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas
Program Development: Completion Subsystem. PROSPECTRA Book (1993)
Hubert Bertling
Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation. CTRS (1990)
Hubert Bertling, Harald Ganzinger
Completion-Time Optimization of Rewrite-Time Goal Solving. RTA (1989)
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)
Hubert Bertling, Harald Ganzinger, Hubert Baumeister
CEC (Conditional Equations Completion). STACS (1987)