Hubert Bertling

According to our database, Hubert Bertling authored at least 7 papers between 1987 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

Program Development: Completion Subsystem.

Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas

Proceedings of the Program Development by Specification and Transformation, 1993

1990

Knuth-Bendix completion of Horn clause programs for restricted linear resolution and paramodulation.

Hubert Bertling

PhD thesis, 1990

Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation.

Hubert Bertling

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1989

Completion-Time Optimization of Rewrite-Time Goal Solving.

Hubert Bertling, Harald Ganzinger

Proceedings of the Rewriting Techniques and Applications, 3rd International Conference, 1989

1988

CEC: A System for the Completion of Conditional Equational Specifications.

Hubert Bertling, Harald Ganzinger, Renate Schäfers

Proceedings of the ESOP '88, 1988

1987

CEC (Conditional Equations Completion).

Hubert Bertling, Harald Ganzinger, Hubert Baumeister

Proceedings of the STACS 87, 1987

A Systems for the Completion of Conditional Equational Specifications.

Hubert Bertling, Harald Ganzinger, Renate Schäfers

Proceedings of the Conditional Term Rewriting Systems, 1987