Journals in DBLP
Math. Log. Q. 2002, volume: 48, number: S1
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Ulrich Kohlenbach On Weak Markov's Principle. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2002, v:48, n:S1, pp:59-65 [Journal ] Paulo Oliva On the Computational Complexity of Best L _{1} -approximation. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2002, v:48, n:S1, pp:66-77 [Journal ] 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 ] 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 ] Bas Spitters Located Operators. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2002, v:48, n:S1, pp:107-122 [Journal ] 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 ] Xizhong Zheng Recursive Approximability of Real Numbers. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2002, v:48, n:S1, pp:131-156 [Journal ] 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 ]