Sign in
Helge Hintze
Publication Activity (10 Years)
Years Active: 1993-1997
Publications (10 Years): 0
</>
Publications
</>
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) (1997)
Knut Hinkelmann
,
Helge Hintze
Computing Cost Estimates for Proof Strategies.
ELP
(1993)