Michael Pfender

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
Congruences, construction of limits and cokernels and algebraic categories	2024-10-31	Paper
Arithmetical Foundations - Recursion. Evaluation. Consistency	2013-12-10	Paper
RCF4: Inconsistent Quantification	2009-01-30	Paper
RCF3: Map-Code Interpretation via Closure	2008-09-29	Paper
RCF2: Evaluation and Consistency	2008-09-23	Paper
RCF1: Theories of PR Maps and Partial PR Maps	2008-09-22	Paper
Algebras with actions and automata International Journal of Mathematics and Mathematical Sciences	1982-01-01	Paper
Primitive recursive algebraic theories and program schemes Bulletin of the Australian Mathematical Society	1977-01-01	Paper
scientific article; zbMATH DE number 3548953 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3486019 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3486017 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3486018 (Why is no real title available?)	1975-01-01	Paper
scientific article; zbMATH DE number 3510514 (Why is no real title available?)	1974-01-01	Paper
Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten Mathematische Nachrichten	1974-01-01	Paper
scientific article; zbMATH DE number 3366845 (Why is no real title available?)	1972-01-01	Paper

Research outcomes over time

This page was built for person: Michael Pfender