Heinz Fassbender

From MaRDI portal
Person:1194206

Available identifiers

zbMath Open fassbender.heinzMaRDI QIDQ1194206

List of research outcomes





PublicationDate of PublicationType
Implementation of a UU-algorithm for primitive recursive tree functions2022-12-09Paper
A strict border for the decidability of \(E\)-unification for recursive functions2017-01-19Paper
https://portal.mardi4nfdi.de/entity/Q42599691999-09-09Paper
https://portal.mardi4nfdi.de/entity/Q42599521999-09-08Paper
https://portal.mardi4nfdi.de/entity/Q43111941995-08-27Paper
https://portal.mardi4nfdi.de/entity/Q42842431994-08-31Paper
An implementation of syntax directed functional programming on nested- stack machines1992-09-27Paper

Research outcomes over time

This page was built for person: Heinz Fassbender

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