| |
| 2008 | ||
|---|---|---|
| 5 | EE | Ute Reuter, Sandra Zeugner, Wolfgang Burr: Methodische Unterstützung von Standortentscheidungen - Entwicklung, Implementierung und Evaluation. Multikonferenz Wirtschaftsinformatik 2008 |
| 2000 | ||
| 4 | Wolfgang Burr: Functional interpretation of Aczel's constructive set theory. Ann. Pure Appl. Logic 104(1-3): 31-73 (2000) | |
| 3 | EE | Wolfgang Burr: A Diller-Nahm-style functional interpretation of KP w\hbox{\sf KP} \omega. Arch. Math. Log. 39(8): 599-604 (2000) |
| 2 | Wolfgang Burr: Fragments of Heyting Arithmetic. J. Symb. Log. 65(3): 1223-1240 (2000) | |
| 1998 | ||
| 1 | EE | Wolfgang Burr, Volker Hartung: A characterization of the S1\Sigma_1-definable functions of KPw+ (uniform AC)KP\omega + (uniform\; AC). Arch. Math. Log. 37(3): 199-214 (1998) |
| 1 | Volker Hartung | [1] |
| 2 | Ute Reuter | [5] |
| 3 | Sandra Zeugner | [5] |