Search the dblp DataBase

Publications of Author

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