Searching for authors named "Reinhard Kahle" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Universes over Frege Structures
- …Universes over Frege Structures Reinhard Kahle Abstract We investigate universes axiomatized…
- Cited by 1 (0 self) – Add To MetaCart
-
Proof-Theoretic Notions for Software Maintenance
- … Oettingenstrae 67, D{80538 Munchen Proof-theoretic notions for software maintenance Reinhard Kahle http…
- Add To MetaCart
-
Formalizing Non-Termination of Recursive Programs
- … Oettingenstrae 67, D{80538 Munchen Formalizing non-termination of recursive programs Reinhard Kahle and Thomas…
- Cited by 2 (1 self) – Add To MetaCart
-
A Theory of Explicit Mathematics Equivalent to ID_1
- …���A Theory of Explicit Mathematics Equivalent to ID1 Reinhard Kahle 1 and Thomas Studer 2 1 WSI…
- Cited by 2 (2 self) – Add To MetaCart
-
Recursion schemata for NC k
- …���Recursion schemata for NC k Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, and Isabel…
- Add To MetaCart
-
Universes in Explicit Mathematics
- …���Universes in explicit mathematics Gerhard J��ger Reinhard Kahle Thomas Studer Abstract This paper…
- Cited by 7 (7 self) – Add To MetaCart
-
Natural Numbers and Forms of Weak Induction in Applicative Theories
- … of weak induction in applicative theories Reinhard Kahle Technischer Bericht IAM-95-001 Januar 1995…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 7.
