The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Vasco Brattka, Peter Hertling, Mariko Yasugi, Ning Zhong
    Preface: MLQ - Math. Log. Quart. Supplement 1/2002. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:- [Journal]
  2. Andrej Bauer
    A Relationship between Equilogical Spaces and Type Two Effectivity. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:1-15 [Journal]
  3. Douglas S. Bridges, Peter Schuster, Luminita Vîta
    Apartness, Topology, and Uniformity: a Constructive View. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:16-28 [Journal]
  4. Rodney G. Downey, Sebastiaan Terwijn
    Computably Enumerable Reals and Uniformly Presentable Ideals. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:29-40 [Journal]
  5. Martín Hötzel Escardó, Thomas Streicher
    In Domain Realizability, not all Functionals on C[-1, 1] are Continuous. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:41-44 [Journal]
  6. Marco Gori, Klaus Meer
    A Step towards a Complexity Theory for Analog Systems. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:45-58 [Journal]
  7. Ulrich Kohlenbach
    On Weak Markov's Principle. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:59-65 [Journal]
  8. Paulo Oliva
    On the Computational Complexity of Best L1-approximation. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:66-77 [Journal]
  9. Matthias Schröder
    Effectivity in Spaces with Admissible Multirepresentations. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:78-90 [Journal]
  10. Dimiter Skordev
    Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:91-106 [Journal]
  11. Bas Spitters
    Located Operators. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:107-122 [Journal]
  12. Mariko Yasugi, Yoshiki Tsujii, Takakazu Mori
    Metrization of the Uniform Space and Effective Convergence. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:123-130 [Journal]
  13. Xizhong Zheng
    Recursive Approximability of Real Numbers. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:131-156 [Journal]
  14. Martin Ziegler
    Computability on Regular Subsets of Euclidean Space. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:S1, pp:157-181 [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