|
Search the dblp DataBase
Hubert Bertling:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hubert Bertling
Knuth-Bendix Completion of Horn Clause Programs for Restricted Linear Resolution and Paramodulation. [Citation Graph (0, 0)][DBLP] CTRS, 1990, pp:181-193 [Conf]
- Hubert Bertling, Harald Ganzinger, Renate Schäfers
A Systems for the Completion of Conditional Equational Specifications. [Citation Graph (0, 0)][DBLP] CTRS, 1987, pp:249-250 [Conf]
- Hubert Bertling, Harald Ganzinger, Renate Schäfers
CEC: A System for the Completion of Conditional Equational Specifications. [Citation Graph (0, 0)][DBLP] ESOP, 1988, pp:378-379 [Conf]
- Hubert Bertling, Harald Ganzinger, Renate Schäfers, Robert Nieuwenhuis, Fernando Orejas
Program Development: Completion Subsystem. [Citation Graph (0, 0)][DBLP] PROSPECTRA Book, 1993, pp:460-494 [Conf]
- Hubert Bertling, Harald Ganzinger
Completion-Time Optimization of Rewrite-Time Goal Solving. [Citation Graph (0, 0)][DBLP] RTA, 1989, pp:45-58 [Conf]
- Hubert Bertling, Harald Ganzinger, Hubert Baumeister
CEC (Conditional Equations Completion). [Citation Graph (0, 0)][DBLP] STACS, 1987, pp:470- [Conf]
Search in 0.001secs, Finished in 0.001secs
|