Person:234587

Available identifiers

zbMath Open diller.justusWikidataQ95286573 ScholiaQ95286573MaRDI QIDQ234587

List of research outcomes

Publication	Date of Publication	Type
Functional Interpretations	2016-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q4981444	2014-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q3081635	2011-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q3081643	2011-03-09	Paper
Logical problems of functional interpretations	2002-03-13	Paper
Realizability and intuitionistic logic	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3206950	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4184831	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4132521	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4085710	1975-01-01	Paper
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen	1974-01-01	Paper
G-Hüllen metrischer Teilräume. (G-hulls of metric subspaces)	1973-01-01	Paper
Simultane Rekursionen in der Theorie der Funktionale endlicher Typen	1971-01-01	Paper
Eine algebraische Beschreibung der metrischen Ebenen mit ineinander beweglichen Geraden	1970-01-01	Paper
NICHT‐PERSISTENZ DER PARALLELITÄT IN AFFINEN EBENEN	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5573380	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5541778	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5330588	1966-01-01	Paper
Zur Galoistheorie pythagoreischer Körper	1965-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: Justus Diller