Friedrich W. von Henke

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
A Completely Verified Realistic Bootstrap Compiler International Journal of Foundations of Computer Science	2005-10-19	Paper
scientific article; zbMATH DE number 1552510 (Why is no real title available?)	2001-01-15	Paper
scientific article; zbMATH DE number 1304384 (Why is no real title available?)	2000-01-09	Paper
ANNA. A language for annotating Ada programs. Reference manual Lecture Notes in Computer Science	1987-01-01	Paper
Adam: An Ada-based language for multiprocessing Software: Practice and Experience	1984-01-01	Paper
scientific article; zbMATH DE number 3566229 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3574943 (Why is no real title available?)	1977-01-01	Paper
scientific article; zbMATH DE number 3596224 (Why is no real title available?)	1976-01-01	Paper
On primitive recursive wordfunctions Computing	1975-01-01	Paper
scientific article; zbMATH DE number 3506660 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3556037 (Why is no real title available?)	1973-01-01	Paper
Klassifizierung von Primitiv-rekursiven Transformationen und Automatentransduktionen Lecture Notes in Economics and Mathematical Systems	1973-01-01	Paper

Research outcomes over time

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