Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 101



81
TÍTULO: Preface
AUTORES: Wilfried Buchholz; Reinhard Kahle ;
PUBLICAÇÃO: 2005, FONTE: Ann. Pure Appl. Log., VOLUME: 133, NÚMERO: 1-3
INDEXADO EM: DBLP
NO MEU: DBLP
82
TÍTULO: Reflections on Frege and Hilbert  Full Text
AUTORES: Buldt, B; Halbach, V; Reinhard Kahle ;
PUBLICAÇÃO: 2005, FONTE: SYNTHESE, VOLUME: 147, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
83
TÍTULO: Special issue - Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday - Preface  Full Text
AUTORES: Buchholz, W; Reinhard Kahle ;
PUBLICAÇÃO: 2005, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 133, NÚMERO: 1-3
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
84
TÍTULO: Structured belief bases
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2004, FONTE: Logic and Logical Philosophy, VOLUME: 10
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
85
TÍTULO: Universes over Frege structures  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2003, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 119, NÚMERO: 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
86
TÍTULO: Hilbert's paradox  Full Text
AUTORES: Peckhaus, V; Reinhard Kahle ;
PUBLICAÇÃO: 2002, FONTE: HISTORIA MATHEMATICA, VOLUME: 29, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 15
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
87
TÍTULO: Mathematical proof theory in the light of ordinal analysis  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2002, FONTE: Conference on Foundations of the Formal Sciences in SYNTHESE, VOLUME: 133, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
88
TÍTULO: Formalizing non-termination of recursive programs  Full Text
AUTORES: Reinhard Kahle ; Studer, T;
PUBLICAÇÃO: 2001, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 49, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
89
TÍTULO: Preface
AUTORES: Reinhard Kahle ; Schroeder Heister, P; Stärk, R;
PUBLICAÇÃO: 2001, FONTE: International Seminar on Proof Theory in Computer Science, PTCS 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2183
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
90
TÍTULO: Proof Theory in Computer Science
AUTORES: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLICAÇÃO: 2001, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
Página 9 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