The SCEAS System
Navigation Menu

Journals in DBLP

Math. Log. Q.
2002, volume: 48, number: 2

  1. Francisco M. García Olmedo, Antonio J. Rodríguez Salas
    Algebraization of the Three-valued BCK-logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:163-178 [Journal]
  2. Silvio Valentini
    Extensionality Versus Constructivity. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:179-187 [Journal]
  3. Yi Zhang
    Adjoining Almost Disjoint Permutations. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:189-193 [Journal]
  4. Christian Rüede, Thomas Strahm
    Intuitionistic Fixed Point Theories for Strictly Positive Operators. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:195-202 [Journal]
  5. Annalisa Marcja, Carlo Toffalori
    Decidability for Z2 G-lattices when G Extends the Noncyclic Group of Order 4. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:203-212 [Journal]
  6. Olivier Esser, Roland Hinnion
    Tree-Properties for Ordered Sets. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:213-219 [Journal]
  7. Chris Pollett, Randall Pruim
    Strengths and Weaknesses of LH Arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:221-243 [Journal]
  8. Alex M. McAllister
    Bounded Scott Set Saturation. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:245-259 [Journal]
  9. Gábor Sági
    Ultraproducts and Higher Order Formulas. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:261-275 [Journal]
  10. Gurgen Asatryan
    Arithmetical Identities in a 2-element Model of Tarski's System. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:277-282 [Journal]
  11. James H. Schmerl
    Moving Intersticial Gaps. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:283-296 [Journal]
  12. Erik Palmgren
    An Intuitionistic Axiomatisation of Real Closed Fields. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:297-299 [Journal]
  13. Risto Kaila
    Convergence Laws for Very Sparse Random Structures with Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:2, pp:301-320 [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