Christian Prehofer
From MaRDI portal
Person:4229810
Available identifiers
zbMath Open prehofer.christianMaRDI QIDQ4229810
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Higher-order narrowing with definitional trees | 2022-12-09 | Paper |
| On modularity in term rewriting and narrowing | 2022-08-16 | Paper |
| Higher-order narrowing with convergent systems | 2022-08-16 | Paper |
| Decidable higher-order unification problems | 2020-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470494 | 2004-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4420402 | 2003-08-17 | Paper |
| Feature-oriented programming: A new way of object composition | 2003-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524793 | 2001-01-15 | Paper |
| Higher-order narrowing with definitional trees | 1999-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244298 | 1999-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4229811 | 1999-02-28 | Paper |
| Type Reconstruction for Type Classes | 1995-10-09 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Christian Prehofer
