The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Pure Appl. Logic
2003, volume: 122, number: 1-3

  1. Toshiyasu Arai
    Proof theory for theories of ordinals - I: recursively Mahlo ordinals. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:1-85 [Journal]
  2. Stefan Neumann
    True cofinality and bounding number for small products of partial orders. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:87-106 [Journal]
  3. Christophe Raffalli
    System ST toward a type system for extraction and proofs of programs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:107-130 [Journal]
  4. Zoran Petric
    G-dinaturality. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:131-173 [Journal]
  5. Viktor Verbovskiy, Ikuo Yoneda
    CM-triviality and relational structures. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:175-194 [Journal]
  6. Christian Rüede
    The proof-theoretic analysis of Sigma11 transfinite dependent choice. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:195-234 [Journal]
  7. Itay Ben-Yaacov, Anand Pillay, Evgueni Vassiliev
    Lovely pairs of models. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:235-261 [Journal]
  8. Patrick Simonetta
    On non-abelian C-minimal groups. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:263-287 [Journal]
  9. Anatole Khelif
    On nonelementarily equivalent pairs of fields. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:122, n:1-3, pp:289-291 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002