Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 105



21
TÍTULO: A Recursion-Theoretic Characterization of the Probabilistic Class PP
AUTORES: Ugo Dal Lago; Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2021, FONTE: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., VOLUME: 202
INDEXADO EM: Scopus DBLP Handle
NO MEU: ORCID | DBLP
22
TÍTULO: Dedekinds Sätze und Peanos Axiomata
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: Philosophia Scientiae, VOLUME: 25, NÚMERO: 1
INDEXADO EM: Scopus CrossRef: 2 Handle
NO MEU: ORCID
23
TÍTULO: Default negation as explicit negation plus update
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: Logical Investigations, VOLUME: 27, NÚMERO: 1
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID
24
TÍTULO: Gödel, mathematischer Realismus und Antireduktionismus
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: Wider den Reduktionismus
INDEXADO EM: CrossRef Unpaywall
25
TÍTULO: k-Provability in PA  Full Text
AUTORES: Santos, PG ; Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: LOGICA UNIVERSALIS, VOLUME: 15, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Handle
NO MEU: ORCID | DBLP
26
TÍTULO: Lorenzen Between Gentzen and Schütte
AUTORES: Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2021, FONTE: Logic, Epistemology, and the Unity of Science, VOLUME: 51
INDEXADO EM: Scopus CrossRef Unpaywall
NO MEU: ORCID | CIÊNCIAVITAE
27
TÍTULO: The Intensional Structure of Epistemic Convictions
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12524
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
TÍTULO: VARIANTS OF KREISEL'S CONJECTURE ON A NEW NOTION OF PROVABILITY
AUTORES: Santos, PG ; Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: BULLETIN OF SYMBOLIC LOGIC, VOLUME: 27, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
29
TÍTULO: Verantwortung in den theoretischen Wissenschaften
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: Verantwortung
INDEXADO EM: CrossRef
30
TÍTULO: Feferman on Foundations: Logic, Mathematics, Philosophy  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2020, FONTE: PHILOSOPHIA MATHEMATICA, VOLUME: 28, NÚMERO: 3
INDEXADO EM: WOS CrossRef Handle
NO MEU: ORCID
Página 3 de 11. Total de resultados: 105.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service