Klaus Indermark

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
Algebraic correctness proofs for compiling recursive function definitions with strictness information Acta Informatica	2006-09-12	Paper
scientific article; zbMATH DE number 139619 (Why is no real title available?)	1993-03-28	Paper
scientific article; zbMATH DE number 4113946 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4049007 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3870582 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3839303 (Why is no real title available?)	1983-01-01	Paper
On rational definitions in complete algebras without rank Theoretical Computer Science	1982-01-01	Paper
scientific article; zbMATH DE number 3740744 (Why is no real title available?)	1980-01-01	Paper
scientific article; zbMATH DE number 3527796 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3571463 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3568672 (Why is no real title available?)	1976-01-01	Paper
On primitive recursive wordfunctions Computing	1975-01-01	Paper
scientific article; zbMATH DE number 3601125 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3488634 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3478859 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3556037 (Why is no real title available?)	1973-01-01	Paper
scientific article; zbMATH DE number 3430102 (Why is no real title available?)	1973-01-01	Paper
scientific article; zbMATH DE number 3316051 (Why is no real title available?)	1970-01-01	Paper
scientific article; zbMATH DE number 3307590 (Why is no real title available?)	1969-01-01	Paper

Research outcomes over time

This page was built for person: Klaus Indermark