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/Q4141230	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4142652	1976-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/Q4070337	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Klaus Indermark