The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1997, volume: 62, number: 2

  1. Greg Hjorth
    Some Applications of Coarse Inner Model Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:337-365 [Journal]
  2. Joan Bagaria
    A Characterization of Martin's Axiom in Terms of Absoluteness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:366-372 [Journal]
  3. Joel David Hamkins
    Canonical Seeds and Prikiry Trees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:373-396 [Journal]
  4. Steven D. Leonhardi
    Generalized Nonsplitting in the Recursively Enumerable Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:397-437 [Journal]
  5. David Pincus
    The Dense Linear Ordering Principle. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:438-456 [Journal]
  6. Jan Krajícek
    Interpolation Theorems, Lower Bounds for Proof Systems, and Independence Results for Bounded Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:457-486 [Journal]
  7. Anand Pillay
    Remarks on Galois Cohomology and Definability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:487-492 [Journal]
  8. José Iovino
    Definability in Functional Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:493-505 [Journal]
  9. Satoko Titani
    Completeness of Global Intuitionistic Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:506-528 [Journal]
  10. Philip Kremer
    On the Complexity of Propositional Quantification in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:529-544 [Journal]
  11. Georg Gottlob
    Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:545-574 [Journal]
  12. Thomas Strahm
    Polynomial Time Operations in Explicit Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:575-594 [Journal]
  13. Kenneth Schilling, Bosko Zivaljevic
    Louveau's Theorem for the Descriptive Set Theory of Internal Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:595-607 [Journal]
  14. Moshe Y. Vardi
    Special Selection in Logic in Computer Science. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:608- [Journal]
  15. James F. Lynch
    Infinitary Logics and Very Sparse Random Graphs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:609-623 [Journal]
  16. Ursula Martin, Elizabeth Scott
    The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:624-635 [Journal]
  17. Paliath Narendran, Frank Pfenning, Richard Statman
    On the Unification Problem for Cartesian Closed Categories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:636-647 [Journal]
  18. Mati Pentus
    Product-Free Lambek Calculus and Context-Free Grammars. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:648-660 [Journal]
  19. Alexei P. Stolboushkin, Damian Niwinski
    y = 2x vs. y = 3x. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:2, pp:661-672 [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