Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Publicações Confirmadas: 105



91
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
92
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
93
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
94
TÍTULO: Proof Theory in Computer Science. International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
AUTORES: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLICAÇÃO: 2001, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef Openlibrary
NO MEU: ORCID
95
96
TÍTULO: Truth in Applicative Theories
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2001, FONTE: Stud Logica, VOLUME: 68, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
97
TÍTULO: Universes in explicit mathematics  Full Text
AUTORES: Jager, G; Reinhard Kahle ; Studer, T;
PUBLICAÇÃO: 2001, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 109, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef: 13
NO MEU: ORCID | ResearcherID | CIÊNCIAVITAE
98
TÍTULO: Universes in explicit mathematics
AUTORES: Gerhard Jäger; Reinhard Kahle ; Thomas Studer;
PUBLICAÇÃO: 2001, FONTE: Ann. Pure Appl. Log., VOLUME: 109, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
99
TÍTULO: A Theory of Explicit Mathematics Equivalent to ID1
AUTORES: Reinhard Kahle ; Thomas Studer;
PUBLICAÇÃO: 2000, FONTE: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, VOLUME: 1862
INDEXADO EM: DBLP CrossRef: 2
NO MEU: ORCID | DBLP
100
TÍTULO: N-strictness in applicative theories  Full Text
AUTORES: Reinhard Kahle ;
PUBLICAÇÃO: 2000, FONTE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 39, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Página 10 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