The SCEAS System
Navigation Menu

Search the dblp DataBase


Carsten Butz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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 Llambdaomega 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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002