dblp.uni-trier.dewww.uni-trier.de

Reinhard Kahle Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
16EEErich Grädel, Reinhard Kahle: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings Springer 2009
2008
15EEGuillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem: Recursion Schemata for NCk. CSL 2008: 49-63
2007
14EEReinhard Kahle: Edwin D. Mares, Relevant Logic - A Philosophical Interpretation. Studia Logica 85(3): 419-424 (2007)
13EEReinhard Kahle: Freek Wiedijk (Ed.), The Seventeen Provers of the World. Studia Logica 87(2-3): 369-374 (2007)
2006
12EEGuillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem: Towards an Implicit Characterization of NCk. CSL 2006: 212-224
2005
11EEWilfried Buchholz, Reinhard Kahle: Preface. Ann. Pure Appl. Logic 133(1-3): 1- (2005)
2003
10 Reinhard Kahle: Universes over Frege structures. Ann. Pure Appl. Logic 119(1-3): 191-223 (2003)
2001
9 Reinhard Kahle, Peter Schroeder-Heister, Robert F. Stärk: Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings Springer 2001
8 Gerhard Jäger, Reinhard Kahle, Thomas Studer: Universes in explicit mathematics. Ann. Pure Appl. Logic 109(3): 141-162 (2001)
7 Reinhard Kahle, Thomas Studer: Formalizing non-termination of recursive programs. J. Log. Algebr. Program. 49(1-2): 1-14 (2001)
6 Reinhard Kahle: Truth in Applicative Theories. Studia Logica 68(1): 103-128 (2001)
2000
5EEReinhard Kahle, Thomas Studer: A Theory of Explicit Mathematics Equivalent to ID1. CSL 2000: 356-370
4EEReinhard Kahle: N\hbox{\sf N}-strictness in applicative theories. Arch. Math. Log. 39(2): 125-144 (2000)
3EEReinhard Kahle: Proof-theoretic notions for software maintenance. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
2EEReinhard Kahle: Frege Structures for Partial Applicative Theories. J. Log. Comput. 9(5): 683-700 (1999)
1 Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm: The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. 64(1): 53-67 (1999)

Coauthor Index

1Guillaume Bonfante [12] [15]
2Wilfried Buchholz [11]
3Erich Grädel [16]
4Gerhard Jäger [1] [8]
5Jean-Yves Marion [12] [15]
6Isabel Oitavem [12] [15]
7Peter Schroeder-Heister [9]
8Anton Setzer [1]
9Robert F. Stärk [9]
10Thomas Strahm [1]
11Thomas Studer [5] [7] [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)