Helge Hintze

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

2 Knut Hinkelmann, Helge Hintze: State-Saving Transformations for Efficient Bottom-Up Evaluation of Logic Programs and Rule-Based Systems. Ann. Math. Artif. Intell. 20(1-4): 335-356 (1997)

1993

1 Knut Hinkelmann, Helge Hintze: Computing Cost Estimates for Proof Strategies. ELP 1993: 152-170

1997
2		Knut Hinkelmann, Helge Hintze: State-Saving Transformations for Efficient Bottom-Up Evaluation of Logic Programs and Rule-Based Systems. Ann. Math. Artif. Intell. 20(1-4): 335-356 (1997)
1993
1		Knut Hinkelmann, Helge Hintze: Computing Cost Estimates for Proof Strategies. ELP 1993: 152-170

Coauthor Index

1 Knut Hinkelmann [1] [2]