TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2020 | 2019
Anzahl der Einträge: 4.

2020

Joisten, Philip ; Freund, Anton ; Abendroth, Bettina (2020)
Gestaltungsdimensionen der Kommunikation von automatisierten Fahrzeugen und anderen Verkehrsteilnehmenden.
In: Zeitschrift der Arbeitswissenschaft, 74 (2)
doi: 10.1007/s41449-020-00199-7
Artikel, Bibliographie

Freund, Anton (2020)
What is effective transfinite recursion in reverse mathematics?
In: Mathematical Logic Quarterly, 66 (4)
doi: 10.1002/malq.202000042
Artikel, Bibliographie

Freund, Anton (2020)
A note on ordinal exponentiation and derivatives of normal functions.
In: Mathematical Logic Quarterly, 66 (3)
doi: 10.1002/malq.201900059
Artikel, Bibliographie

2019

Freund, Anton (2019)
A categorical construction of Bachmann–Howard fixed points.
In: Bulletin of the London Mathematical Society, 51 (5)
doi: 10.1112/blms.12285
Artikel, Bibliographie

Diese Liste wurde am Sat Dec 21 03:28:53 2024 CET generiert.