Reinhard Josef Klaus Kahle


AuthID: R-000-F9J

Confirmed Publications: 101



71
72
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
73
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
74
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
75
76
77
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
78
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
79
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
80
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
Page 8 of 11. Total results: 101.

footer slogan

Useful Links

Get Help

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