|
Search the dblp DataBase
Reinhard Kahle:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Guillaume Bonfante, R. Kahle, Jean-Yves Marion, Isabel Oitavem
Towards an Implicit Characterization of NCk. [Citation Graph (0, 0)][DBLP] CSL, 2006, pp:212-224 [Conf]
- Reinhard Kahle, Thomas Studer
A Theory of Explicit Mathematics Equivalent to ID1. [Citation Graph (0, 0)][DBLP] CSL, 2000, pp:356-370 [Conf]
- Wilfried Buchholz, Reinhard Kahle
Preface. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2005, v:133, n:1-3, pp:1-0 [Journal]
- Gerhard Jäger, Reinhard Kahle, Thomas Studer
Universes in explicit mathematics. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2001, v:109, n:3, pp:141-162 [Journal]
- Reinhard Kahle
Universes over Frege structures. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2003, v:119, n:1-3, pp:191-223 [Journal]
- Reinhard Kahle
Proof-theoretic notions for software maintenance. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
- Reinhard Kahle, Thomas Studer
Formalizing non-termination of recursive programs. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2001, v:49, n:1-2, pp:1-14 [Journal]
- Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1999, v:64, n:1, pp:53-67 [Journal]
- Reinhard Kahle
Frege Structures for Partial Applicative Theories. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1999, v:9, n:5, pp:683-700 [Journal]
- Reinhard Kahle
Truth in Applicative Theories. [Citation Graph (0, 0)][DBLP] Studia Logica, 2001, v:68, n:1, pp:103-128 [Journal]
Recursion Schemata for NCk. [Citation Graph (, )][DBLP]
N\hbox{\sf N}-strictness in applicative theories. [Citation Graph (, )][DBLP]
Search in 0.007secs, Finished in 0.008secs
|