The SCEAS System
Navigation Menu

Journals in DBLP

Math. Log. Q.
1999, volume: 45, number:

  1. Stephen A. Fenner, Marcus Schaefer
    Bounded Immunity and Btt-Reductions. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:3-21 [Journal]
  2. Hiroyasu Kamo, Kiko Kawamura
    Computability of Self-Similar Sets. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:23-30 [Journal]
  3. Gerhard Lischke
    Towards the Actual Relationship Between NP and Exponential Time. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:31-49 [Journal]
  4. Miroslawa Kolowska-Gawiejnowicz
    A Labelled Deductive System for Relational Semantics of the Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:51-58 [Journal]
  5. Matthew C. Salts
    An Intervall of Computably Enumerable Isolating Degrees. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:59-72 [Journal]
  6. Kees Doets
    Relatives of the Russell Paradox. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:73-83 [Journal]
  7. Evgueni Vassiliev
    Countably Categorical Structures with n-Degenerate Algebraic Closure. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:85-94 [Journal]
  8. Kyriakos Keremedis
    Weak Hausdorff Gaps and the p<t Problem. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:95-104 [Journal]
  9. Olivier Esser
    On the Consistency of a Positive Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:105-116 [Journal]
  10. Josep Maria Font
    On Special Implicative Filters. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:117-126 [Journal]
  11. Heike Mildenberger
    Borel on the Questions Versus Borel on the Answeres. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:127-133 [Journal]
  12. John L. Bell
    Boolean Algebras and Distributive Lattices Treated Constructively. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:135-143 [Journal]
  13. Peter Hertling
    A Real Number Structure that is Effectively Categorical. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:147-182 [Journal]
  14. Yi Zhang
    Towards a Problem of E. van Douwen and A. Miller. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:183-188 [Journal]
  15. Thomas G. McLaughlin
    Existentially Incomplete Tame Models and a Conjecture of Ellentuck. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:189-202 [Journal]
  16. Douglas S. Bridges, Luminita Dediu
    Weak-operator Continuity and the Existence Of Adjoints. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:203-206 [Journal]
  17. Sergio A. Celani
    Distributive Lattices with a Negation Operator. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:207-218 [Journal]
  18. Tapani Hyttinen
    Stability and General Logics. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:219-240 [Journal]
  19. Peter Jipsen, Henry Rose
    Partition Complete Boolean Algebras and Almost Compact Cardinals. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:241-255 [Journal]
  20. Mohamed Khalouani, Salah Labhalla, Henri Lombardi
    Étude constructive de problèmes de topologie pour les réels irrationnels. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:257-288 [Journal]
  21. David W. Kueker, Brian P. Turnquist
    Nearly Model Complete Theories. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:291-298 [Journal]
  22. J. Dodu, Marianne Morillon
    The Hahn-Banach Property and the Axiom of Choice. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:299-314 [Journal]
  23. Erich Grädel, Eric Rosen
    On Preservation Theorems for Two-Variable Logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:315-325 [Journal]
  24. Masamitsu Ozaki, Juichi Shinoda
    On MODkP Counting Degrees. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:327-342 [Journal]
  25. Wolfgang Merkle
    Exact Pairs for Abstract Bounded Reducibilities. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:343-360 [Journal]
  26. Ralf Schindler
    Strong Cardinals and Sets of Reals in Lomega1(R). [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:361-369 [Journal]
  27. Vladimir Kanovei, Michael Reeken
    Special Model Axiom in Nonstandard Set Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:371-384 [Journal]
  28. Raimon Elgueta
    Algebraic Characterizations for Universal Fragments of Logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:385-398 [Journal]
  29. Fernando Ferreira
    Two General Results on lntuitionistic Bounded Theories. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:399-407 [Journal]
  30. Anthony Bonato, Dejan Delic
    A Pigeonhole Property for Relational Structures. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:409-413 [Journal]
  31. Stanislav Krajci
    Two Remarks on Partitions of omega to with Finite Blocks. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:415-420 [Journal]
  32. Youssef Boudabbous
    Reconstrucitble and Half-Reconstructible Tournaments: Application to Their Groups of Hemimorphisms. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:421-431 [Journal]
  33. Takahito Aoto, Hiroyuki Shirasu
    On the Finite Model Property of Intuitionistic Modal Logics over MIPC. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:435-448 [Journal]
  34. Bing-Yu Zhang, Ning Zhong
    Lp-Computability. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:449-456 [Journal]
  35. Abir Nour
    Sémantique algébrique d'un systèmes logique basé sur un ensemble ordonné fini. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:457-466 [Journal]
  36. Farzad Didehvar
    On a Class of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:467-470 [Journal]
  37. Uliano P. Balestrini, Maurizio Fattorosi-Barnaba
    The Modality of Finite(Graded Modalties VII). [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:471-480 [Journal]
  38. Vasco Brattka, Xizhong Zheng, Klaus Weihrauch
    Approaches to Effective Semi-Continuity of Real Functions. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:481-496 [Journal]
  39. Radim Belohlávek
    Fuzzy Galois Connections. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:497-504 [Journal]
  40. Vladimir R. Kiyatkin, Vladimir V. Rybakov, Tahsin Oner
    On Finite Model Property for Admissible Rules. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:505-520 [Journal]
  41. Maria Emilia Maietti, Silvio Valentini
    Can You Add Power-Sets to Martin-Löf's Intuitionistic Set Theory? [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:521-532 [Journal]
  42. Olivier Chapuis, Pascal Koiran
    Definability of Geometric Properties on Algebraically Closed Fields. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:533-550 [Journal]
  43. Arthur W. Apter
    Forcing the Least Measurable to Violate GCH. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:551-560 [Journal]
  44. Valeriy K. Bulitko
    About Segment Complexity of Turing Reductions. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 1999, v:45, n:, pp:561-571 [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