Higher Order Narrowing mit definierenden Bäumen und expliziten Substitutionen
Rheinisch-Westfälische Technische Hochschule Aachen, Computer Science
Thesis: 01/1997; Thesis for: Dipl.-Math., Advisor: Michael Hanus
Comments on this publication
ResearchGate members can add comments. Sign up now and post your comment!
Data provided are for informational purposes only. Although carefully collected, accuracy cannot be guaranteed. The impact factor represents a rough estimation of the journal's impact factor and does not reflect the actual current impact factor. Publisher conditions are provided by RoMEO. Differing provisions from the publisher's actual policy or licence agreement may be applicable.
