Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 97



11
TITLE: Hilbert’s Axiomatisches Denken
AUTHORS: Reinhard Kahle ; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking I
INDEXED IN: Scopus CrossRef Unpaywall
12
TITLE: Implicit recursion-theoretic characterizations of counting classes  Full Text
AUTHORS: Dal Lago, Ugo; Reinhard Kahle ; Oitavem, Isabel ;
PUBLISHED: 2022, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 61, ISSUE: 7-8
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
13
TITLE: Scheitern in der Mathematik
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2022, SOURCE: Scheitern in den Wissenschaften
INDEXED IN: CrossRef Unpaywall
14
15
TITLE: A Recursion-Theoretic Characterization of the Probabilistic Class PP
AUTHORS: Ugo Dal Lago; Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2021, SOURCE: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., VOLUME: 202
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
16
TITLE: Dedekinds Sätze und Peanos Axiomata
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Philosophia Scientiae, VOLUME: 25, ISSUE: 1
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
17
TITLE: Default negation as explicit negation plus update
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Logical Investigations, VOLUME: 27, ISSUE: 1
INDEXED IN: Scopus CrossRef
IN MY: ORCID
18
TITLE: Gödel, mathematischer Realismus und Antireduktionismus
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Wider den Reduktionismus
INDEXED IN: CrossRef Unpaywall
19
TITLE: k-Provability in PA  Full Text
AUTHORS: Santos, PG ; Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: LOGICA UNIVERSALIS, VOLUME: 15, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
20
TITLE: Lorenzen Between Gentzen and Schütte
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2021, SOURCE: Logic, Epistemology, and the Unity of Science, VOLUME: 51
INDEXED IN: Scopus CrossRef Unpaywall
IN MY: ORCID
Page 2 of 10. Total results: 97.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service