Publikationen

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 21 bis 23 von 23

Hubert Comon; Ralf Treinen

Ordering Constraints on Trees

DFKI, DFKI Research Reports (RR), Vol. 94-12, 1994.
Knut Hinkelmann

A Consequence Finding Approach for Feature Recognition in CAPP

DFKI, DFKI Research Reports (RR), Vol. 94-11, 1994.
Knut Hinkelmann; Helge Hintze

Computing Cost Estimates for Proof Strategies

DFKI, DFKI Research Reports (RR), Vol. 94-10, 1994.