Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 110



81
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
82
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 | CIÊNCIAVITAE
83
84
85
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
86
TITLE: David Hilbert über paradoxien
AUTHORS: Reinhard Kahle ;
PUBLISHED: 2006
INDEXED IN: Handle
87
TITLE: Introduction: Proof-theoretic semantics  Full Text
AUTHORS: Reinhard Kahle ; Schroeder Heister, P;
PUBLISHED: 2006, SOURCE: SYNTHESE, VOLUME: 148, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
88
TITLE: Towards an implicit characterization of NC(k)
AUTHORS: Bonfante, G; Reinhard Kahle ; Marion, JY; Oitavem, I ;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | ResearcherID | DBLP | CIÊNCIAVITAE
89
TITLE: Preface  Full Text
AUTHORS: Wilfried Buchholz; Reinhard Kahle ;
PUBLISHED: 2005, SOURCE: Annals of Pure and Applied Logic, VOLUME: 133, ISSUE: 1-3
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
90
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
Page 9 of 11. Total results: 110.

footer slogan

Useful Links

Get Help

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