Helge Hintze

According to our database, Helge Hintze authored at least 2 papers between 1993 and 1997.

Collaborative distances:

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

1997

State-Saving Transformations for Efficient Bottom-Up Evaluation of Logic Programs and Rule-Based Systems.

Knut Hinkelmann, Helge Hintze

Ann. Math. Artif. Intell., 1997

1993

Computing Cost Estimates for Proof Strategies.

Knut Hinkelmann, Helge Hintze

Proceedings of the Extensions of Logic Programming, 4th International Workshop, 1993