Michael Pfender

Available identifiers

zbMath Open pfender.michaelMaRDI QIDQ1156863

List of research outcomes

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	1982-01-01	Paper
Primitive recursive algebraic theories and program schemes	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4123303	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068900	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068898	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068899	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4090505	1974-01-01	Paper
Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639638	1972-01-01	Paper

Research outcomes over time

This page was built for person: Michael Pfender