|
|
|
|
|
|
Reinhard Kahle
Past Members
|
| |
|
|
| |
|
Publications |
|
KAHLE, Reinhard (2013). David Hilbert and the Principia Mathematica. Nicolas Griffin and Bernard Linsky (Eds.), The Palgrave Centenary Companion to Principia Mathematica. (pp. 21-34). : Palgrave Macmillan.
|
|
KAHLE, Reinhard, OITAVEM, Isabel (2013). Applicative theories for the polynomial hierarchy of time and its levels. Annals of Pure and Aplied Logic. Vol. 164. 6, pp. 663-67.
|
|
KAHLE, Reinhard (2011). The universal set and diagonalization in Frege structures. Review of Symbolic Logic. Vol. 4. 2, pp. 205-218.
|
|
KAHLE, Reinhard, OITAVEM, Isabel (2011). An applicative theory for FPH.
|
|
GRADEL, Erich, KAHLE, Reinhard (Eds.). (2009). Computer Science Logic. Berlin: Springer.
|
|
GRADEL, Erich, KAHLE, Reinhard (Eds.). (2009). Special Issue for the Conference on Computer Science Logic CSL 2009. [Special Issue]. Logical Methods in Computer Science. Vol. DOI 10.2168/LMCS-CSL:2009.
|
|
BONFANTE, Guillaume, KAHLE, Reinhard, MARION, Jean-Yves, OITAVEM, Isabel (2008). Recursion Schemata for NC^k.
|
|
KAHLE, Reinhard (2007). The applicative realm. Coimbra: DMUC.
|
|
BONFANTE, Guillaume, KAHLE, Reinhard, MARION, Jean-Yves, OITAVEM, Isabel (2006). Towards an implicit characterization of NC^k.
|
|
KAHLE, Reinhard (2006). Os teoremas de incompletude de Kurt Gödel. Boletim da Sociedade Portuguesa de Matemática. Vol. 55, pp. 63-76.
| Number of registers: 16<< previous 1,2 next >>
|
| |
|
|
|
|
|
|
|
|
© 2012 Centre for Mathematics, University of Coimbra, funded by
Powered by: rdOnWeb
v1.4 | technical support
|
|
|
|
