| |
| 2004 | ||
|---|---|---|
| 8 | EE | Carsten Butz: Saturated models of intuitionistic theories. Ann. Pure Appl. Logic 129(1-3): 245-275 (2004) |
| 2001 | ||
| 7 | Hans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz: Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. Parallel Processing Letters 11(4): 471-486 (2001) | |
| 2000 | ||
| 6 | Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel: Preface. Ann. Pure Appl. Logic 104(1-3): 1-2 (2000) | |
| 5 | Steven Awodey, Carsten Butz: Topological Completeness for Higher-Order Logic. J. Symb. Log. 65(3): 1168-1182 (2000) | |
| 1999 | ||
| 4 | EE | Carsten Butz: A topological completeness theorem. Arch. Math. Log. 38(2): 79-101 (1999) |
| 3 | Carsten Butz, Ieke Moerdijk: An Elementary Definability Theorem for First Order Logic. J. Symb. Log. 64(3): 1028-1036 (1999) | |
| 1998 | ||
| 2 | Carsten Butz, Peter Johnstone: Classifying Toposes for First-Order Theories. Ann. Pure Appl. Logic 91(1): 33-58 (1998) | |
| 1997 | ||
| 1 | Carsten Butz: Syntax and Semantics of the Logic Llambdaomega omega. Notre Dame Journal of Formal Logic 38(3): 374-384 (1997) | |
| 1 | Steven Awodey | [5] |
| 2 | Peter Johnstone | [2] |
| 3 | Ulrich Kohlenbach | [6] |
| 4 | Hans-Wolfgang Loidl | [7] |
| 5 | Ieke Moerdijk | [3] |
| 6 | Søren Riis | [6] |
| 7 | Philip W. Trinder | [7] |
| 8 | Glynn Winskel | [6] |