Bern Martens

From MaRDI portal
Person:809589

Available identifiers

zbMath Open martens.bernMaRDI QIDQ809589

List of research outcomes





PublicationDate of PublicationType
Conjunctive partial deduction: foundations, control, algorithms, and experiments2000-09-26Paper
https://portal.mardi4nfdi.de/entity/Q45063952000-09-18Paper
https://portal.mardi4nfdi.de/entity/Q49448822000-03-22Paper
https://portal.mardi4nfdi.de/entity/Q42179371998-11-11Paper
Automatic finite unfolding using well-founded measures1997-06-09Paper
https://portal.mardi4nfdi.de/entity/Q56888891997-05-25Paper
Why untyped nonground metaprogramming is not (much of) a problem1995-04-06Paper
Sound and complete partial deduction with unfolding based on well-founded measures1994-12-08Paper
A general criterion for avoiding infinite unfolding during partial deduction1993-04-01Paper
Compiling bottom-up and mixed derivations into top-down executable logic programs1991-01-01Paper

Research outcomes over time

This page was built for person: Bern Martens

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:809589&oldid=6684896"
Powered by MediaWiki