Travelled to:1 × France
1 × USA
Collaborated with:H.Ganzinger R.Schäfers
Talks about:complet (2) time (2) system (1) specif (1) rewrit (1) condit (1) optim (1) equat (1) solv (1) goal (1)
Person: Hubert Bertling
DBLP: Bertling:Hubert
Contributed to:
1989
1988Wrote 2 papers:
- RTA-1989-BertlingG #optimisation
- Completion-Time Optimization of Rewrite-Time Goal Solving (HB, HG), pp. 45–58.
- ESOP-1988-BertlingGS #equation #named #specification
- CEC: A System for the Completion of Conditional Equational Specifications (HB, HG, RS), pp. 378–379.