Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 105



61
TÍTULO: Syntax versus Semantics PDF
AUTORES: Reinhard Kahle ; Wilfried Keller;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1507.04678
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
62
TÍTULO: What is a Proof?  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2015, FONTE: AXIOMATHES, VOLUME: 25, NÚMERO: 1
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
63
TÍTULO: Towards the Structure of Mathematical Proof PDF
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., VOLUME: 1186
INDEXADO EM: DBLP
NO MEU: DBLP
64
TÍTULO: What is a Proof?
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Axiomathes
INDEXADO EM: Scopus
65
TÍTULO: What is a Proof?  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2014, FONTE: Axiomathes
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
66
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
67
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
68
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
69
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
70
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
Página 7 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