Klaus Indermark

Available identifiers

zbMath Open indermark.klausMaRDI QIDQ2502269

List of research outcomes

Publication	Date of Publication	Type
Algebraic correctness proofs for compiling recursive function definitions with strictness information	2006-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q4029598	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4729315	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3785903	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3336679	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3309044	1983-01-01	Paper
On rational definitions in complete algebras without rank	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3925864	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4105238	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4142652	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4141230	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4070337	1975-01-01	Paper
On primitive recursive wordfunctions	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4063429	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4167599	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4128546	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5180825	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5595168	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5588673	1969-01-01	Paper

Research outcomes over time

This page was built for person: Klaus Indermark