Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 105



71
TITLE: An applicative theory for FPH PDF  Full Text
AUTHORS: Reinhard Kahle ; Isabel Oitavem ;
PUBLISHED: 2010, SOURCE: 3rd International Workshop on Classical Logic and Computation, CLaC 2010 in Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010., VOLUME: 47
INDEXED IN: Scopus DBLP arXiv CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
72
TITLE: An Extended Predicative Definition of the Mahlo Universe
AUTHORS: Reinhard Kahle ; Anton Setzer;
PUBLISHED: 2010, SOURCE: - Ways of Proof Theory
INDEXED IN: CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
73
TITLE: Computer Science Logic
AUTHORS: Erich Grädel; Reinhard Kahle ;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
74
75
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Gradel, E; Reinhard Kahle ;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
76
TITLE: Recursion Schemata for NC(k)
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
77
TITLE: Die Gödelschen Unvollständigkeitssätze
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2007, SOURCE: Mathematische Semesterberichte, VOLUME: 54, ISSUE: 1
INDEXED IN: Scopus CrossRef Handle
IN MY: ORCID
78
79
80
TITLE: A proof-theoretic view of necessity  Full Text
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2006, SOURCE: Conference on Proof-Theoretic Semantics in SYNTHESE, VOLUME: 148, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
Page 8 of 11. Total results: 105.

footer slogan

Useful Links

Get Help

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