WorldCat Identities

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 7-11, 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
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 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, induction-recursion, post-Turing 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
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 re-evaluations 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 twenty-second 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
Applikative Theorien und Frege-Strukturen by Reinhard Kahle( Book )

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

5th International Workshop on Proof, Computation, Complexity : PCC '06 ; Ilmenau, July 24-25, 2006 ; [technical report] by PCC( Book )

2 editions published in 2006 in English and held by 4 WorldCat member libraries worldwide

Proof-theoretic semantics( Book )

3 editions published in 2006 in English and held by 4 WorldCat member libraries worldwide

Environmental assessment of solid residues from fluidized-bed fuel processing : final report, November 5, 1975-December 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

The applicative realm by Reinhard Kahle( Book )

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

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

Sex-Hilfsmittel in der Anwendung by Helmut Kentler( Book )

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

Universes over Frege structures by Reinhard Kahle( Book )

1 edition published in 1996 in English and held by 1 WorldCat member library worldwide

Evaluation of trench subsidence & stabilization at sheffield low-level 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

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

Reflections on Frege and Hilbert( Book )

2 editions published in 2005 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.53 for Computer S ... to 0.94 for Applikativ ...)

Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
Covers
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedingsIntensionality
Alternative Names
Kahle, R. 1967-

Kahle, Reinhard Josef Klaus

Languages
English (102)

German (9)