Reinhard Kähle (Reinhard Kahle)
Use attributes for filter ! | |
Gender | Male |
---|---|
Music groups | Robert F. Stärk |
Michael Rathjen | |
Thomas Studer | |
Peter Schroeder-Heister | |
Books | Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings |
The Applicative Realm | |
Education | University of Bern |
Edited works | Advances in Proof Theory |
Date of Reg. | |
Date of Upd. | |
ID | 2569206 |