Christian Prehofer

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 Rewriting Techniques and Applications	2022-12-09	Paper
On modularity in term rewriting and narrowing Constraints in Computational Logics	2022-08-16	Paper
Higher-order narrowing with convergent systems Algebraic Methodology and Software Technology	2022-08-16	Paper
Decidable higher-order unification problems Automated Deduction — CADE-12	2020-01-21	Paper
scientific article; zbMATH DE number 2077111 (Why is no real title available?)	2004-07-01	Paper
scientific article; zbMATH DE number 1964963 (Why is no real title available?)	2003-08-17	Paper
Feature-oriented programming: A new way of object composition Concurrency and Computation: Practice and Experience	2003-02-04	Paper
scientific article; zbMATH DE number 1552533 (Why is no real title available?)	2001-01-15	Paper
Higher-order narrowing with definitional trees Journal of Functional Programming	1999-06-28	Paper
scientific article; zbMATH DE number 1292290 (Why is no real title available?)	1999-05-27	Paper
scientific article; zbMATH DE number 1255555 (Why is no real title available?)	1999-02-28	Paper
Type Reconstruction for Type Classes Journal of Functional Programming	1995-10-09	Paper

Research outcomes over time

This page was built for person: Christian Prehofer