Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 105



91
TITLE: Mathematical proof theory in the light of ordinal analysis  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2002, SOURCE: Conference on Foundations of the Formal Sciences in SYNTHESE, VOLUME: 133, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
92
TITLE: Formalizing non-termination of recursive programs  Full Text
AUTHORS: Reinhard Kahle ; Studer, T;
PUBLISHED: 2001, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 49, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
93
TITLE: Preface
AUTHORS: Reinhard Kahle ; Schroeder Heister, P; Stärk, R;
PUBLISHED: 2001, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
94
TITLE: Proof Theory in Computer Science. International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
AUTHORS: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef Openlibrary
IN MY: ORCID
95
96
TITLE: Truth in Applicative Theories
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2001, SOURCE: Stud Logica, VOLUME: 68, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
97
TITLE: Universes in explicit mathematics  Full Text
AUTHORS: Jager, G; Reinhard Kahle ; Studer, T;
PUBLISHED: 2001, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 109, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef: 13
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
98
TITLE: Universes in explicit mathematics
AUTHORS: Gerhard Jäger; Reinhard Kahle ; Thomas Studer;
PUBLISHED: 2001, SOURCE: Ann. Pure Appl. Log., VOLUME: 109, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
99
TITLE: A Theory of Explicit Mathematics Equivalent to ID1
AUTHORS: Reinhard Kahle ; Thomas Studer;
PUBLISHED: 2000, SOURCE: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, VOLUME: 1862
INDEXED IN: DBLP CrossRef: 2
IN MY: ORCID | DBLP
100
TITLE: N-strictness in applicative theories  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2000, SOURCE: ARCHIVE FOR MATHEMATICAL LOGIC, VOLUME: 39, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Page 10 of 11. Total results: 105.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service