Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 105



71
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
72
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
73
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
74
75
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Gradel, E; Reinhard Kahle ;
PUBLICAÇÃO: 2009, FONTE: 23rd International Workshop on Computer Science Logic, CSL 2009 - 18th Annual Conference of the EACSL in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5771 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
76
TÍTULO: Recursion Schemata for NC(k)
AUTORES: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLICAÇÃO: 2008, FONTE: 22nd International Workshop on Computer Science Logic/17th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 5213
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
77
TÍTULO: Die Gödelschen Unvollständigkeitssätze
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2007, FONTE: Mathematische Semesterberichte, VOLUME: 54, NÚMERO: 1
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
78
79
80
TÍTULO: A proof-theoretic view of necessity  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2006, FONTE: Conference on Proof-Theoretic Semantics in SYNTHESE, VOLUME: 148, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 8 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