
Search the dblp DataBase
Carsten Butz:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Carsten Butz
Saturated models of intuitionistic theories. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:129, n:13, pp:245275 [Journal]
 Carsten Butz, Peter Johnstone
Classifying Toposes for FirstOrder Theories. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1998, v:91, n:1, pp:3358 [Journal]
 Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel
Preface. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:13, pp:12 [Journal]
 Steven Awodey, Carsten Butz
Topological Completeness for HigherOrder Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 2000, v:65, n:3, pp:11681182 [Journal]
 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:10281036 [Journal]
 Carsten Butz
Syntax and Semantics of the Logic L^{lambdaomega omega}. [Citation Graph (0, 0)][DBLP] Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:374384 [Journal]
 HansWolfgang 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:471486 [Journal]
A topological completeness theorem. [Citation Graph (, )][DBLP]
Relating Firstorder Set Theories and Elementary Toposes. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
