Friedrich W. von Henke

From MaRDI portal
Person:578889

Available identifiers

zbMath Open von-henke.friedrich-wilhelmMaRDI QIDQ578889

List of research outcomes





PublicationDate of PublicationType
A Completely Verified Realistic Bootstrap Compiler2005-10-19Paper
https://portal.mardi4nfdi.de/entity/Q45247682001-01-15Paper
https://portal.mardi4nfdi.de/entity/Q42511232000-01-09Paper
ANNA. A language for annotating Ada programs. Reference manual1987-01-01Paper
Adam: An Ada-based language for multiprocessing1984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41447621977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41381861977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41626351976-01-01Paper
On primitive recursive wordfunctions1975-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40871551974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41285461973-01-01Paper
Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen1973-01-01Paper

Research outcomes over time

This page was built for person: Friedrich W. von Henke

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