 | 2007 |
|---|
| 9 |       | Steven Awodey,
Carsten Butz,
Alex Simpson,
Thomas Streicher:
Relating First-order Set Theories and Elementary Toposes.
Bulletin of Symbolic Logic 13(3): 340-358 (2007) |
| 2004 |
|---|
| 8 | | 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 | | 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) |
