Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 110



21
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 | CIÊNCIAVITAE
22
TITLE: Preface
AUTHORS: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking I
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
23
TITLE: Preface
AUTHORS: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLISHED: 2022, SOURCE: Axiomatic Thinking II
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
24
TITLE: Scheitern in der Mathematik
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2022, SOURCE: Scheitern in den Wissenschaften
INDEXED IN: CrossRef Unpaywall
25
26
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 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
27
TITLE: Dedekinds Sätze und Peanos Axiomata
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Philosophia Scientiae, VOLUME: 25, ISSUE: 1
INDEXED IN: Scopus CrossRef: 2 Handle
IN MY: ORCID | CIÊNCIAVITAE
28
TITLE: Default negation as explicit negation plus update
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Logical Investigations, VOLUME: 27, ISSUE: 1
INDEXED IN: Scopus CrossRef Handle
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: Gödel, mathematischer Realismus und Antireduktionismus
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2021, SOURCE: Wider den Reduktionismus
INDEXED IN: CrossRef Unpaywall
30
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 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 3 of 11. Total results: 110.

footer slogan

Useful Links

Get Help

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