Christian Prehofer
From MaRDI portal
Person:4229810
Available identifiers
zbMath Open prehofer.christianMaRDI QIDQ4229810
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Higher-order proof by consistency | 2024-07-05 | Paper |
| 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
This page was built for person: Christian Prehofer