Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 110



21
TÍTULO: Implicit recursion-theoretic characterizations of counting classes  Full Text
AUTORES: Dal Lago, Ugo; Reinhard Kahle ; Oitavem, Isabel ;
PUBLICAÇÃO: 2022, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 61, NÚMERO: 7-8
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
22
TÍTULO: Preface
AUTORES: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking I
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
23
TÍTULO: Preface
AUTORES: Ferreira, F; Reinhard Kahle ; Sommaruga, G;
PUBLICAÇÃO: 2022, FONTE: Axiomatic Thinking II
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: Scheitern in der Mathematik
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2022, FONTE: Scheitern in den Wissenschaften
INDEXADO EM: CrossRef Unpaywall
25
26
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 | CIÊNCIAVITAE
27
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 | CIÊNCIAVITAE
28
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 | CIÊNCIAVITAE
29
TÍTULO: Gödel, mathematischer Realismus und Antireduktionismus
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2021, FONTE: Wider den Reduktionismus
INDEXADO EM: CrossRef Unpaywall
30
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 | CIÊNCIAVITAE
Página 3 de 11. Total de resultados: 110.

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

Links Úteis

Ajuda

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