Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 101



61
TÍTULO: What is a Proof?  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Axiomathes
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
62
TÍTULO: What is a Proof?
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Axiomathes
INDEXADO EM: Scopus
63
TÍTULO: Applicative theories for the polynomial hierarchy of time and its levels  Full Text
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
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
64
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
65
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
66
TÍTULO: Modalities Without Worlds
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2012, FONTE: The Realism-Antirealism Debate in the Age of Alternative Logics, VOLUME: 23
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
67
TÍTULO: THE UNIVERSAL SET AND DIAGONALIZATION IN FREGE STRUCTURES  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2011, FONTE: REVIEW OF SYMBOLIC LOGIC, VOLUME: 4, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
68
TÍTULO: An applicative theory for FPH PDF  Full Text
AUTORES: Reinhard Kahle ; Isabel Oitavem ;
PUBLICAÇÃO: 2010, FONTE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., VOLUME: 47
INDEXADO EM: Scopus DBLP arXiv CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
69
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
70
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 7 de 11. Total de resultados: 101.

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

Links Úteis

Ajuda

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