J. J. Horning

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
scientific article; zbMATH DE number 517385 (Why is no real title available?)	1994-02-24	Paper
scientific article; zbMATH DE number 139966 (Why is no real title available?)	1993-03-28	Paper
A Larch shared language handbook Science of Computer Programming	1986-01-01	Paper
Report on the Larch shared language Science of Computer Programming	1986-01-01	Paper
scientific article; zbMATH DE number 3621083 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3621082 (Why is no real title available?)	1979-01-01	Paper
scientific article; zbMATH DE number 3621084 (Why is no real title available?)	1979-01-01	Paper
The algebraic specification of abstract data types Acta Informatica	1978-01-01	Paper
scientific article; zbMATH DE number 3614152 (Why is no real title available?)	1978-01-01	Paper
Proof rules for the programming language Euclid Acta Informatica	1978-01-01	Paper
scientific article; zbMATH DE number 3581593 (Why is no real title available?)	1978-01-01	Paper
scientific article; zbMATH DE number 3463157 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3420253 (Why is no real title available?)	1973-01-01	Paper
scientific article; zbMATH DE number 3402108 (Why is no real title available?)	1972-01-01	Paper

Research outcomes over time

This page was built for person: J. J. Horning