Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 101



71
72
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
73
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
74
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
75
76
77
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
78
TÍTULO: Introduction: Proof-theoretic semantics  Full Text
AUTORES: Reinhard Kahle ; Schroeder Heister, P;
PUBLICAÇÃO: 2006, FONTE: SYNTHESE, VOLUME: 148, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
79
TÍTULO: Towards an implicit characterization of NC(k)
AUTORES: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLICAÇÃO: 2006, FONTE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
80
TÍTULO: Preface  Full Text
AUTORES: Wilfried Buchholz; Reinhard Kahle ;
PUBLICAÇÃO: 2005, FONTE: Annals of Pure and Applied Logic, VOLUME: 133, NÚMERO: 1-3
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
Página 8 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