The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1990, volume: 55, number: 1

  1. Mark E. Nadel, Jonathan Stavi
    On Models of the Elementary Theory of (Z, +, 1). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:1-20 [Journal]
  2. Saharon Shelah
    Strong Negative Partition Above the Continuum. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:21-31 [Journal]
  3. V. Michele Abrusci, Jean-Yves Girard, Jacques Van de Wiele
    Some Uses of Dilators in Combinatorial Problems, II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:32-40 [Journal]
  4. David N. Yetter
    Quantales and (Noncommutative) Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:41-64 [Journal]
  5. Juha Oikkonen
    On Ehrenfeucht-Fraïssé Equivalence of Linear Orderings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:65-73 [Journal]
  6. Wayne D. Blizard
    A Formal Theory of Objects, Space and Time. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:74-89 [Journal]
  7. J. Roger Hindley, David Meredith 0002
    Principal Type-Schemes and Condensed Detachment. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:90-105 [Journal]
  8. E. G. K. López-Escobar
    Remarks on the Church-Rosser Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:106-112 [Journal]
  9. Miklós Ajtai, Ronald Fagin
    Reachability Is Harder for Directed than for Undirected Finite Graphs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:113-150 [Journal]
  10. Frank O. Wagner
    Subgroups of Stable Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:151-156 [Journal]
  11. Lew Gordeev
    Generalizations of the Kruskal-Friedman Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:157-181 [Journal]
  12. Nicolas D. Goodman
    Mathematics and Natural Science. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:182-193 [Journal]
  13. Robert S. Lubarsky
    An Introduction to gamma-Recursion Theory (Or What to Do in KP-Foundation). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:194-206 [Journal]
  14. Giangiacomo Gerla
    Pointless Metric Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:207-219 [Journal]
  15. James G. Williams
    On the Formalization of Semantic Conventions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:220-243 [Journal]
  16. Andrea Cantini
    A Theory of Formal Truth Arithmetically Equivalent to ID1. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:244-259 [Journal]
  17. Serge Grigorieff
    Every Recursive Linear Ordering Has a Copy in DTIME-SPACE(n, log(n)). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:260-276 [Journal]
  18. Labib Haddad, Marianne Morillon
    L'Axiome de Normalité pour les Espaces Totalement Ordonnés. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:277-283 [Journal]
  19. John W. L. Merrill
    UFA Fails in the Bell-Kunen Model. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:284-296 [Journal]
  20. Timothy Williamson
    Two Incomplete Anti-Realist Modal Epistemic Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:297-314 [Journal]
  21. Samy Zafrany
    On Analytic Filters and Prefilters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:315-322 [Journal]
  22. Gérard Leloup
    Théeories Compléetes de Paires de Corps Valuées Henseliens. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1990, v:55, n:1, pp:323-339 [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