The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1994, volume: 59, number: 2

  1. B. Mazur
    Questions of Decidability and Undecidability in Number Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:353-371 [Journal]
  2. Thanases Pheidas
    Extensions of Hilbert's Tenth Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:372-397 [Journal]
  3. Roger D. Maddux
    Undecidable Semiassociative Relation Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:398-418 [Journal]
  4. Dirk Roorda
    Interpolation in Fragments of Classical Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:419-444 [Journal]
  5. Moti Gitik, Menachem Magidor
    Extender Based Forcings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:445-460 [Journal]
  6. Garvin Melles
    Natural Internal Forcing Schemata Extending ZFC: Truth in the Universe. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:461-472 [Journal]
  7. Brigitte Hösli, Gerhard Jäger
    About Some Symmetries of Negation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:473-485 [Journal]
  8. Ganesh Baliga, John Case, Sanjay Jain, Mandayam Suraj
    Machine Learning of Higher-Order Programs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:486-500 [Journal]
  9. Othman Qasim Malhas
    Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:501-515 [Journal]
  10. Masahiro Kumabe
    Minimal Upper Bounds for Arithmetical Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:516-528 [Journal]
  11. Mark Fuller
    Normality of a Filter over a Space of Partitions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:529-533 [Journal]
  12. Alan S. Stern, Stanislaw Swierczkowski
    A Class of Connected Theories of Order. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:534-542 [Journal]
  13. Samson Abramsky, Radha Jagadeesan
    Games and Full Completeness for Multiplicative Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:543-574 [Journal]
  14. Frank O. Wagner
    A Note on Defining Groups in Stable Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:575-578 [Journal]
  15. Elisabeth Bouscaren, Ehud Hrushovski
    On One-Based Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:579-595 [Journal]
  16. Daniele Mundici
    A Constructive Proof of McNaughton's Theorem in Infinite-valued Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:596-602 [Journal]
  17. Marion Scheepers
    Meager Nowhere-Dense Games (IC): n-Tactics (Continued). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:603-605 [Journal]
  18. Sy D. Friedman
    The Genericity Conjecture. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:606-614 [Journal]
  19. Thomas Jech, Jirí Witzany
    Full Reflection at a Measurable Cardinal. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:615-630 [Journal]
  20. Hajnal Andréka, Steven Givant, István Németi
    The Lattice of Varieties of Representable Relation Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:631-661 [Journal]
  21. Szymon Plewik
    Ideals of Nowhere Ramsey Sets Are Isomorphic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:2, pp:662-667 [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