Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Reinhard Josef Klaus Kahle
AuthID:
R-000-F9J
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Article (36)
Book Chapter (21)
Proceedings Paper (14)
Editorial Material (9)
Book (9)
Article in Press (4)
Proceedings (2)
Review (1)
Edited Book (1)
Year Start - End:
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
Results:
10
20
30
40
50
Confirmed Publications: 97
71
TITLE:
Edwin D. Mares, Relevant Logic - A Philosophical Interpretation. Cambridge University Press, 2004, x + 229 pp., £ 45.00, ISBN-13: 9780521829236, ISBN-10: 0521829232, hardback
Full Text
AUTHORS:
Reinhard Kahle
;
PUBLISHED:
2007
,
SOURCE:
Stud Logica,
VOLUME:
85,
ISSUE:
3
INDEXED IN:
DBLP
CrossRef
IN MY:
ORCID
|
DBLP
72
TITLE:
Freek Wiedijk (Ed.), The Seventeen Provers of the World. Springer, Series: Lecture Notes in Computer Science, Vol. 3600, 2006, XVI, 159 pp., Softcover ISBN: 978-3-540-30704-4, dimensions (in inches): 9.3 x 6.1 x 0.5 , US $39.95.
Full Text
AUTHORS:
Reinhard Kahle
;
PUBLISHED:
2007
,
SOURCE:
Stud Logica,
VOLUME:
87,
ISSUE:
2-3
INDEXED IN:
DBLP
CrossRef
:
1
IN MY:
ORCID
|
DBLP
73
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
74
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
:
21
IN MY:
ORCID
|
ResearcherID
|
DBLP
75
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
76
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
77
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
78
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
79
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
80
TITLE:
Structured belief bases
AUTHORS:
Reinhard Kahle
;
PUBLISHED:
2004
,
SOURCE:
Logic and Logical Philosophy,
VOLUME:
10
INDEXED IN:
CrossRef
:
2
IN MY:
ORCID
Add to Marked List
Check All
Export
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Page 8 of 10. Total results: 97.
<<
<
2
3
4
5
6
7
8
9
10
>
>>
×
Select Source
This publication has:
2 records from
ISI
2 records from
SCOPUS
2 records from
DBLP
2 records from
Unpaywall
Please select which records must be used by Authenticus!
×
Preview Publications
© 2024 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service
