Reinhard Kahle

Advances in Proof Theory

2016

Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

2025

Intensionality

2005

Limits of AI - theoretical, practical, ethical

2024

Axiomatic Thinking I

2022

Axiomatic Thinking II

2022