Kahle, Reinhard 1967
Overview
Works:  28 works in 124 publications in 2 languages and 1,746 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Editor, Author, Other, Creator 
Publication Timeline
.
Most widely held works by
Reinhard Kahle
Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September
711, 2009. Proceedings by
Erich Grädel(
)
19 editions published in 2009 in English and Undetermined and held by 505 WorldCat member libraries worldwide
This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science
19 editions published in 2009 in English and Undetermined and held by 505 WorldCat member libraries worldwide
This book constitutes the proceedings of the 23rd International Workshop on Computer Science Logic, CSL 2009, held in Coimbra, Portugal, in September 2009. The 34 papers presented together with 5 invited talks were carefully reviewed and selected from 89 full paper submissions. All current aspects of logic in computer science are addressed, ranging from foundational and methodological issues to application issues of practical relevance. The book concludes with a presentation of this year's Ackermann award, the EACSL Outstanding Dissertation Award for Logic in Computer Science
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 712, 2001 : proceedings by
Reinhard Kahle(
Book
)
28 editions published in 2001 in English and Undetermined and held by 443 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, inductionrecursion, postTuring analysis, natural deduction, implicit characterization, iterate logic, and Java programming
28 editions published in 2001 in English and Undetermined and held by 443 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, inductionrecursion, postTuring analysis, natural deduction, implicit characterization, iterate logic, and Java programming
Advances in proof theory by
Reinhard Kahle(
)
16 editions published in 2016 in English and held by 289 WorldCat member libraries worldwide
The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013
16 editions published in 2016 in English and held by 289 WorldCat member libraries worldwide
The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013
Gentzen's centenary : the quest for consistency(
)
12 editions published between 2014 and 2015 in English and German and held by 280 WorldCat member libraries worldwide
Gerhard Gentzen has been described as logics lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzens enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and reevaluations of Gentzens original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory
12 editions published between 2014 and 2015 in English and German and held by 280 WorldCat member libraries worldwide
Gerhard Gentzen has been described as logics lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzens enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and reevaluations of Gentzens original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory. His sequent calculus and natural deduction system beautifully explain the deep symmetries of logic. They underlie modern developments in computer science such as automated theorem proving and type theory
Intensionality by
Reinhard Kahle(
Book
)
13 editions published between 2005 and 2018 in English and held by 172 WorldCat member libraries worldwide
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twentysecond publication in the Lecture Notes in Logic series, will launch a discussion about the concept of intensionality in philosophy, logic, linguistics and mathematics. These articles grew out of a workshop held at the University of Munich in October, 2000. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning philosophy, linguistics, mathematics and computer science
13 editions published between 2005 and 2018 in English and held by 172 WorldCat member libraries worldwide
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twentysecond publication in the Lecture Notes in Logic series, will launch a discussion about the concept of intensionality in philosophy, logic, linguistics and mathematics. These articles grew out of a workshop held at the University of Munich in October, 2000. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning philosophy, linguistics, mathematics and computer science
Intensionality : lecture notes in logic 22 by
Reinhard Kahle(
)
2 editions published in 2005 in English and held by 12 WorldCat member libraries worldwide
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning the areas of philosophy, linguistics, mathematics, and computer science
2 editions published in 2005 in English and held by 12 WorldCat member libraries worldwide
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted to technical aspects of modal logic. The volume highlights the particular interdisciplinary nature of intensionality with articles spanning the areas of philosophy, linguistics, mathematics, and computer science
Applikative Theorien und FregeStrukturen by
Reinhard Kahle(
Book
)
3 editions published in 1997 in German and held by 7 WorldCat member libraries worldwide
3 editions published in 1997 in German and held by 7 WorldCat member libraries worldwide
The applicative realm by
Reinhard Kahle(
Book
)
2 editions published in 2007 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 2007 in English and held by 6 WorldCat member libraries worldwide
5th International Workshop on Proof, Computation, Complexity : PCC '06 ; Ilmenau, July 2425, 2006 ; [technical report] by
PCC(
Book
)
2 editions published in 2006 in English and held by 4 WorldCat member libraries worldwide
2 editions published in 2006 in English and held by 4 WorldCat member libraries worldwide
Prooftheoretic semantics(
Book
)
3 editions published in 2006 in English and held by 4 WorldCat member libraries worldwide
3 editions published in 2006 in English and held by 4 WorldCat member libraries worldwide
Environmental assessment of solid residues from fluidizedbed fuel processing : final report, November 5, 1975December 31,
1977 by
United States(
Book
)
3 editions published between 1977 and 1978 in English and Undetermined and held by 3 WorldCat member libraries worldwide
3 editions published between 1977 and 1978 in English and Undetermined and held by 3 WorldCat member libraries worldwide
The applicative realm by
Reinhard Kahle(
Book
)
2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide
2 editions published in 2007 in English and held by 2 WorldCat member libraries worldwide
Mathematik und Philosophie  Paradoxien und Aninomien : 27.5. bis 31.5.1992(
Book
)
2 editions published in 1992 in German and held by 2 WorldCat member libraries worldwide
2 editions published in 1992 in German and held by 2 WorldCat member libraries worldwide
Kritische Computerkurse in der Erwachsenenbildung : Bericht über die Erprobung eines neuen Ansatzes by
Eggert Holling(
Book
)
1 edition published in 1987 in German and held by 2 WorldCat member libraries worldwide
1 edition published in 1987 in German and held by 2 WorldCat member libraries worldwide
SexHilfsmittel in der Anwendung by
Helmut Kentler(
Book
)
2 editions published between 1994 and 1997 in German and held by 2 WorldCat member libraries worldwide
2 editions published between 1994 and 1997 in German and held by 2 WorldCat member libraries worldwide
Frege structures for partial applicative theories by
Reinhard Kahle(
Book
)
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
Universes over Frege structures by
Reinhard Kahle(
Book
)
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
Evaluation of trench subsidence & stabilization at sheffield lowlevel radioactive waste disposal facility : final report by
Reinhard Kahle(
Book
)
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Natural numbers and forms of weak induction in applicative theories by
Reinhard Kahle(
Book
)
1 edition published in 1995 in English and held by 1 WorldCat member library worldwide
1 edition published in 1995 in English and held by 1 WorldCat member library worldwide
Reflections on Frege and Hilbert(
Book
)
2 editions published in 2005 in English and held by 1 WorldCat member library worldwide
2 editions published in 2005 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Grädel, Erich 1958 Author Editor
 SchroederHeister, Peter Joseph 1953 Other Editor
 Stärk, Robert F. 1963 Other Editor
 European Association for Computer Science Logic
 Studer, Thomas Other Editor
 Strahm, Thomas (Thomas Adrian) Other Editor
 Rathjen, Michael Editor
 Gentzen, Gerhard
 Association for Symbolic Logic
 SpringerLink (Online service)
Associated Subjects
Adult education AlgebraData processing Artificial intelligence Automatic theorem proving Coding theory Computer logic Computer science Computer software ComputersStudy and teaching Constructive mathematics Frege, Gottlob, Gentzen, Gerhard GermanyBerlin Hilbert, David, Logic Logic, Symbolic and mathematical Logic design Mathematics MathematicsPhilosophy Metamathematics Proof theory Recursion theory Set theory