Bern Martens

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
Conjunctive partial deduction: foundations, control, algorithms, and experiments The Journal of Logic Programming	2000-09-26	Paper
scientific article; zbMATH DE number 1508931 (Why is no real title available?)	2000-09-18	Paper
scientific article; zbMATH DE number 1420816 (Why is no real title available?)	2000-03-22	Paper
scientific article; zbMATH DE number 1222414 (Why is no real title available?)	1998-11-11	Paper
Automatic finite unfolding using well-founded measures The Journal of Logic Programming	1997-06-09	Paper
scientific article; zbMATH DE number 970704 (Why is no real title available?)	1997-05-25	Paper
Why untyped nonground metaprogramming is not (much of) a problem The Journal of Logic Programming	1995-04-06	Paper
Sound and complete partial deduction with unfolding based on well-founded measures Theoretical Computer Science	1994-12-08	Paper
A general criterion for avoiding infinite unfolding during partial deduction New Generation Computing	1993-04-01	Paper
Compiling bottom-up and mixed derivations into top-down executable logic programs Journal of Automated Reasoning	1991-01-01	Paper

Research outcomes over time

This page was built for person: Bern Martens