Select Publications
Theses / Dissertations
1992, AC1-Unifikation in der linearen logischen Programmierung, mastersthesis, FG Intellektik, TH Darmstadt
,Select Publications
1992, AC1-Unifikation in der linearen logischen Programmierung, mastersthesis, FG Intellektik, TH Darmstadt
,