Travelled to:1 × Germany
1 × Hungary
1 × Italy
Collaborated with:G.Bonfante J.Marion I.Oitavem T.Studer
Talks about:character (1) schemata (1) mathemat (1) implicit (1) explicit (1) equival (1) toward (1) theori (1) recurs (1) id (1)
Person: Reinhard Kahle
DBLP: Kahle:Reinhard
Facilitated 1 volumes:
EdContributed to:
200820062000Wrote 3 papers:
- CSL-2008-BonfanteKMO #recursion
- Recursion Schemata for NCk (GB, RK, JYM, IO), pp. 49–63.
- CSL-2006-BonfanteKMO #towards
- Towards an Implicit Characterization of NCk (GB, RK, JYM, IO), pp. 212–224.
- CSL-2000-KahleS #formal method
- A Theory of Explicit Mathematics Equivalent to ID1 (RK, TS), pp. 356–370.