Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 110



71
TÍTULO: What is a Proof?  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Axiomathes
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
72
TÍTULO: What is a Proof?
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Axiomathes
INDEXADO EM: Scopus
73
TÍTULO: Applicative theories for the polynomial hierarchy of time and its levels
AUTORES: Reinhard Kahle ; Oitavem, I ;
PUBLICAÇÃO: 2013, FONTE: Meeting on 3rd Classical Logic and Computation (CLAC) in ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 164, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
74
TÍTULO: Checking proofs
AUTORES: Alama, J; Reinhard Kahle ;
PUBLICAÇÃO: 2013, FONTE: The Argument of Mathematics
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID
75
TÍTULO: Computing with mathematical arguments
AUTORES: Alama, J; Reinhard Kahle ;
PUBLICAÇÃO: 2013, FONTE: New Challenges to Philosophy of Science
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
76
TÍTULO: Modalities Without Worlds
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2012, FONTE: The Realism-Antirealism Debate in the Age of Alternative Logics
INDEXADO EM: Scopus DBLP CrossRef: 1
77
TÍTULO: THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2011, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 4, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
78
TÍTULO: An applicative theory for FPH
AUTORES: Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2010, FONTE: CL&C, VOLUME: 47
INDEXADO EM: Scopus DBLP CrossRef
79
TÍTULO: An Extended Predicative Definition of the Mahlo Universe
AUTORES: Reinhard Kahle ; Anton Setzer;
PUBLICAÇÃO: 2010, FONTE: - Ways of Proof Theory
INDEXADO EM: CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
80
TÍTULO: Computer Science Logic
AUTORES: Erich Grädel; Reinhard Kahle ;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
Página 8 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