The SCEAS System
Navigation Menu

Journals in DBLP

Math. Log. Q.
2000, volume: 46, number: 3

  1. Andrea Cantini
    Feasible Operations and Applicative Theories Based on lambda-eta. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:291-312 [Journal]
  2. Wolfgang Degen
    Pigeonhole and Choice Principles. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:313-334 [Journal]
  3. Norbert Brunner, H. Reiju Mihara
    Arrow's Theorem, Weglorz' Models and the Axiom of Choice. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:335-359 [Journal]
  4. Jana Dietel, Hans-Dietrich Hecker
    A P-Completeness Result for Visibility Graphs of Simple Polygons. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:361-375 [Journal]
  5. Vladimir Kanovei, Michael Reeken
    On Baire Measurable Homomorphisms of Quotients of the Additive Group of the Reals. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:377-384 [Journal]
  6. Asae Mochizuki, Juichi Shinoda
    Inhomogeneity of the p-s-Degrees of Recursive Functions. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:385-392 [Journal]
  7. Timothy McNicholl
    Intrinsic Reducibilities. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:393-407 [Journal]
  8. Marat M. Arslanov, S. Barry Cooper, Angsheng Li
    There is No Low Maximal D.C.E. Degree. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:409-416 [Journal]
  9. Abir Nour
    Sémantique de type Kripke d'un systéme logique basé sur un ensemble ordonné fini. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:3, pp:417-432 [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