The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1995, volume: 60, number: 3

  1. Otmar Spinas
    Generic Trees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:705-726 [Journal]
  2. Rodney G. Downey, Richard A. Shore
    Degree Theoretic Definitions of the low2 Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:727-756 [Journal]
  3. Frank Wolter
    The Finite Model Property in Tense Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:757-774 [Journal]
  4. Hajnal Andréka, Steven Givant, István Németi
    Perfect Extensions and Derived Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:775-796 [Journal]
  5. Robert J. Poston
    Defining Multiplication in o-Minimal Expansions of the Additive Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:797-816 [Journal]
  6. Michael C. Laskowski, Charles Steinhorn
    On o-Minimal Expansions of Archimedean Ordered Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:817-831 [Journal]
  7. Peter Apostoli, Bryson Brown
    A Solution to the Completeness Problem for Weakly Aggregative Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:832-842 [Journal]
  8. Jan E. Holly
    Canonical Forms for Definable Subsets of Algebraically Closed and Real Closed Valued Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:843-860 [Journal]
  9. Giovanni Sambin
    Pretopologies and Completeness Proofs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:861-878 [Journal]
  10. Thomas E. Leathrum
    A Special Class of Almost Disjoint Families. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:879-891 [Journal]
  11. James D. Sharp, Simon Thomas
    Some Questions Concerning the Cofinality of Sym(kappa). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:892-897 [Journal]
  12. Margit Messmer, Carol Wood
    Separably Closed Fields with Higher Derivation I. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:898-910 [Journal]
  13. Silvio Ghilardi, Marek W. Zawadowski
    A Sheaf Representation and Duality for Finitely Presenting Heyting Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:911-939 [Journal]
  14. Peter Koepke, Juan Carlos Martínez
    Superatomic Boolean Algebras Constructed from Morasses. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:940-951 [Journal]
  15. Erich Grädel, Yuri Gurevich
    Tailoring Recursion for Complexity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:952-969 [Journal]
  16. Hajnal Andréka, Ivo Düntsch, István Németi
    Expressibility of Properties of Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:970-991 [Journal]
  17. James Cummings, Saharon Shelah
    A Model in Which Every Boolean Algebra Has Many Subalgebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:3, pp:992-1004 [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