The SCEAS System
Navigation Menu

Journals in DBLP

Reports on Mathematical Logic
1993, volume: 27, number:

  1. Diego Marconi
    An Algebraic Characterization of Thomason's System Delta. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1993, v:27, n:, pp:3-18 [Journal]
  2. Teodor Stepien
    A Note on Formalisations of First-order Theories. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1993, v:27, n:, pp:19-28 [Journal]
  3. Robert Cowen
    Combinatorial Analytic Tableaux. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1993, v:27, n:, pp:29-39 [Journal]
  4. Sven Ove Hansson
    A Note on Anti-cyclic Properties of Complete Binary Relations. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1993, v:27, n:, pp:41-44 [Journal]
  5. Pawel Pazdyka
    The First-order Coding of Models in Models with a Single Binary Relation. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1993, v:27, n:, pp:45-54 [Journal]
  6. Adam Kolany
    Hypergraphs and the Intuitionistic Propositional\break Calculus. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1993, v:27, n:, pp:55-66 [Journal]
  7. Tomasz Polacik
    Operators Defined by Propositional Quantification and Their Interpretation over Cantor Space. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1993, v:27, n:, pp:67-79 [Journal]
  8. Francesco Paoli
    Semantics for First Degree Relatedness Logic. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1993, v:27, n:, pp:81-94 [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