The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Thomas G. McLaughlin
    Combinatorial Isols and the Arithmetic of Dekker Semirings. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:323-342 [Journal]
  2. Tarek Sayed Ahmed
    A Modeltheoretic Solution to a Problem of Tarski. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:343-355 [Journal]
  3. Karim Nour
    Non Deterministic Classical Logic: The lambda-mu++-calculus. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:357-366 [Journal]
  4. Valeriy Bulitko
    Post's Problem for Reducibilities of Bounded Complexity. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:367-373 [Journal]
  5. Russell Impagliazzo, Jan Krajícek
    A Note on Conservativity Relations among Bounded Arithmetic Theories. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:375-377 [Journal]
  6. Laurent Vanderputten
    Nonstandard Representation Theory of Standard Operators Defined on the Space of Bochner Integrable Functions. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:379-390 [Journal]
  7. Mohammad Ardeshir, Bardyaa Hesaam
    Every Rooted Narrow Tree Kripke Model of HA is Locally PA. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:391-395 [Journal]
  8. Tapani Hyttinen
    A Remark on Weakly Compact Cardinals. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:397-402 [Journal]
  9. Hasan Dalgin, Labib Haddad, Mehmet Terziler
    On the Additive Group Structure of the Nonstandard Models of the Theory of Integers. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:403-412 [Journal]
  10. Yasuo Kanai
    On the Deductive Strength of Various Distributivity Axioms for Boolean Algebras in Set Theory. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:413-426 [Journal]
  11. Ramon Jansana
    Full Models for Positive Modal Logic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:427-445 [Journal]
  12. Andreas Spillner, Hans-Dietrich Hecker
    Minimizing the Size of Vertexlights in Simple Polygons. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:447-458 [Journal]
  13. Robert Rettinger, Xizhong Zheng, Romain Gengler, Burchard von Braunmühl
    Monotonically Computable Real Numbers. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:3, pp:459-479 [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