The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Jeremy Avigad
    Update Procedures and the 1-Consistency of Arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:3-13 [Journal]
  2. Lorenzo Sacchetti
    Incompleteness and Fixed Points. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:15-28 [Journal]
  3. Marcus Kracht
    Invariant Logics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:29-50 [Journal]
  4. Franco Montagna, G. Michele Pinna, Elisa B. P. Tiezzi
    Investigations on Fragments of First Order Branching Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:51-62 [Journal]
  5. Wojciech Buszkowski
    Finite Models of Some Substructural Logics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:63-72 [Journal]
  6. Wolfgang Degen
    Factors of Functions, AC and Recursive Analogues. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:73-86 [Journal]
  7. Kentaro Kikuchi
    Dual-Context Sequent Calculus and Strict Implication. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:87-92 [Journal]
  8. Stefano Mazzanti
    Plain Bases for Classes of Primitive Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:93-104 [Journal]
  9. Cezary Cieliski
    Heterologicality and Incompleteness. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:105-110 [Journal]
  10. Fred Richman
    Omniscience Principles and Functions of Bounded Variation. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:111-116 [Journal]
  11. Dag Normann, Christian Rordam
    The Computational Power of Muomega. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:117-124 [Journal]
  12. Toshiyasu Arai
    On the Slowly Well Orderedness of epsilon0. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:125-130 [Journal]
  13. Richard A. Shore, Yue Yang
    A nonlow2 R. E. Degree with the Extension of Embeddings Properties of a low2 Degree. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:131-146 [Journal]
  14. Saverio Cittadini, Carlo Toffalori
    Comparing First Order Theories of Modules over Group Rings. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:147-156 [Journal]
  15. Morteza Moniri
    Weak Arithmetics and Kripke Models. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:1, pp:157-160 [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