Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 101



81
TITLE: Preface
AUTHORS: Wilfried Buchholz; Reinhard Kahle ;
PUBLISHED: 2005, SOURCE: Ann. Pure Appl. Log., VOLUME: 133, ISSUE: 1-3
INDEXED IN: DBLP
IN MY: DBLP
82
TITLE: Reflections on Frege and Hilbert  Full Text
AUTHORS: Buldt, B; Halbach, V; Reinhard Kahle ;
PUBLISHED: 2005, SOURCE: SYNTHESE, VOLUME: 147, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
83
TITLE: Special issue - Festschrift on the occasion of Helmut Schwichtenberg's 60th birthday - Preface  Full Text
AUTHORS: Buchholz, W; Reinhard Kahle ;
PUBLISHED: 2005, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 133, ISSUE: 1-3
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
84
TITLE: Structured belief bases
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2004, SOURCE: Logic and Logical Philosophy, VOLUME: 10
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
85
TITLE: Universes over Frege structures  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2003, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 119, ISSUE: 1-3
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
86
TITLE: Hilbert's paradox  Full Text
AUTHORS: Peckhaus, V; Reinhard Kahle ;
PUBLISHED: 2002, SOURCE: HISTORIA MATHEMATICA, VOLUME: 29, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 15
IN MY: ORCID | ResearcherID | CIÊNCIAVITAE
87
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
88
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
89
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
90
TITLE: Proof Theory in Computer Science
AUTHORS: Reinhard Kahle ; Peter Schroeder-Heister; Robert Stärk;
PUBLISHED: 2001, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 9 of 11. Total results: 101.

footer slogan

Useful Links

Get Help

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