The SCEAS System
Navigation Menu

Journals in DBLP

Math. Log. Q.
2004, volume: 50, number: 1

  1. Ernest Schimmerling, Boban Velickovic
    Collapsing functions. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:3-8 [Journal]
  2. Isabel Oitavem
    Characterizing NC with tier 0 pointers. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:9-17 [Journal]
  3. Jakob Kellner, Hans Ploss
    F-products and nonstandard hulls for semigroups. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:18-28 [Journal]
  4. Chaz Schlindwein
    A short proof of the preservation of the omegaomega-bounding property. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:29-32 [Journal]
  5. Steve Jackson, Russell May
    The strong partition relation on omega1 revisited. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:33-40 [Journal]
  6. Stefano Berardi
    A generalization of a conservativity theorem for classical versus intuitionistic arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:41-46 [Journal]
  7. Jeffry L. Hirst
    Minima of initial segments of infinite sequences of reals. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:47-50 [Journal]
  8. Arthur W. Apter
    Level by level equivalence and strong compactness. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:51-64 [Journal]
  9. Majid Alizadeh, Mohammad Ardeshir
    On the linear Lindenbaum algebra of Basic Propositional Logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:65-70 [Journal]
  10. Alexandre Ivanov, Roman Kossak
    Automorphism group actions on trees. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:71-76 [Journal]
  11. Tapani Hyttinen
    Finitely generated submodels of an uncountably categorical homogeneous structure. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:77-98 [Journal]
  12. Matteo Viale
    The cumulative hierarchy and the constructible universe of ZFA. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:99-103 [Journal]
  13. Franco Montagna, Lorenzo Sacchetti
    Corrigendum to "Kripke-style semantics for many-valued logics". [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2004, v:50, n:1, pp:104-107 [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