Research output per year
Research output per year
Personal profile
Education/Academic qualification
Doctorate, Applicative Theorien und Frege-Strukturen, University of Bern
Award Date: 20 Mar 1997
External positions
Privatdozent, Eberhard Karls Universität Tübingen
2007 → …
Fingerprint
Dive into the research topics where Reinhard Kahle is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A new perspective on completeness and finitist consistency
Santos, P. G., Sieg, W. & Kahle, R., 24 Apr 2023, (E-pub ahead of print) In: Journal Of Logic And Computation. 20 p., exad021.Research output: Contribution to journal › Article › peer-review
-
Hilbert’s Axiomatisches Denken
Kahle, R. & Sommaruga, G., Oct 2022, Axiomatic Thinking I. Ferreira, F., Kahle, R. & Sommaruga, G. (eds.). Cham: Springer, p. 23-37 15 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Implicit recursion-theoretic characterizations of counting classes
Dal Lago, U., Kahle, R. & Oitavem, I., 2022, In: Archive For Mathematical Logic. 61, p. 1129-1144 16 p.Research output: Contribution to journal › Article › peer-review
-
-
A Recursion-Theoretic Characterization of the Probabilistic Class PP
Dal Lago, U., Kahle, R. & Oitavem, I., 1 Aug 2021, 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021. Bonchi, F. & Puglisi, S. J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 35. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 202).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile2 Citations (Scopus)3 Downloads (Pure)
Prizes
-
-
-
Prémio de Lógica Amílcar Sernadas
Kahle, Reinhard (Recipient) & Santos, Paulo Guilherme Domingos Canha Moreira dos (Recipient), 2020
Prize: Prize (including medals and awards)
Activities
-
History and Philosophy of Logic (Journal)
Reinhard Kahle (Editorial board member)
2018 → …Activity: Publication peer-review and editorial work › Editorial activity
-
Birkhaeuser Verlag (Publisher)
Reinhard Kahle (Editorial board member)
2018 → …Activity: Publication peer-review and editorial work › Editorial activity
-
Invited Guest Professor
Reinhard Kahle (Member)
Mar 2016 → Jul 2016Activity: Other › Types of External academic engagement - Research and Teaching at External Organisation
-
In Memoriam: Richard Dedekind (1831 - 1916)
Reinhard Kahle (Speaker)
6 Oct 2016 → 8 Oct 2016Activity: Participating in or organising an event › Participation in conference
-
International Joint Conference on Automated Reasoning
Reinhard Kahle (Member of programme committee)
27 Jun 2016 → 2 Jul 2016Activity: Participating in or organising an event › Participation in conference