The SCEAS System
Navigation Menu

Journals in DBLP

Ann. Pure Appl. Logic
2006, volume: 141, number: 1-2

  1. John Krueger
    Adding clubs with square. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:1-28 [Journal]
  2. Robert S. Lubarsky
    CZF and Second Order Arithmetic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:29-34 [Journal]
  3. Marcelo P. Fiore, Roberto Di Cosmo, Vincent Balat
    Remarks on isomorphisms in typed lambda calculi with empty and sum types. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:35-50 [Journal]
  4. George Barmpalias, Andrew E. M. Lewis
    The ibT degrees of computably enumerable sets are not dense. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:51-60 [Journal]
  5. Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov, Andrei S. Morozov
    Effective categoricity of equivalence structures. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:61-78 [Journal]
  6. Angsheng Li, Guohua Wu, Yue Yang
    Bounding computably enumerable degrees in the Ershov hierarchy. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:79-88 [Journal]
  7. Philipp Gerhardy, Ulrich Kohlenbach
    Strongly uniform bounds from semi-constructive proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:89-107 [Journal]
  8. Monica Van Dieren
    Categoricity in abstract elementary classes with no maximal models. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:108-147 [Journal]
  9. Franco Montagna
    Interpolation and Beth's property in propositional many-valued logics: A semantic investigation. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:148-179 [Journal]
  10. Valentin Goranko, Dimiter Vakarelov
    Elementary canonical formulae: extending Sahlqvist's theorem. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:180-217 [Journal]
  11. Pavel Naumov
    On modal logic of deductive closure. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:218-224 [Journal]
  12. Kosta Dosen, Zoran Petric
    Coherence for star-autonomous categories. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:225-242 [Journal]
  13. Nikolai V. Krupski
    Typing in reflective combinatory logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:243-256 [Journal]
  14. Hajime Ishihara, Erik Palmgren
    Quotient topologies in constructive set theory and type theory. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:257-265 [Journal]
  15. Yves Guiraud
    The three dimensions of proofs. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:266-295 [Journal]
  16. Hajime Ishihara, Ray Mines, Peter Schuster, Luminita Vîta
    Quasi-apartness and neighbourhood spaces. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2006, v:141, n:1-2, pp:296-306 [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