The SCEAS System
Navigation Menu

Journals in DBLP

Reports on Mathematical Logic
1994, volume: 28, number:

  1. Haydée Werneck Poubel, Luiz Carlos Pereira
    A Categorical Approach to Higher-level Introduction and Elimination Rules. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1994, v:28, n:, pp:3-19 [Journal]
  2. Beata Bugajska, Kazimiera Dyrda
    On the Rules of Substitution in the First-order Predicate Logics. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1994, v:28, n:, pp:21-27 [Journal]
  3. Mohamed Amer
    Probability Logic and Measures on Epimorphic Images of Coproducts of Measurable Spaces. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1994, v:28, n:, pp:29-52 [Journal]
  4. Stanley Burris, Isabel M. A. Ferreirim
    Decidable Varieties of Hoops. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1994, v:28, n:, pp:53-59 [Journal]
  5. Beata Bugajska-Jaszczolt, Tadeusz Prucnal
    Axiomatization of the Logic Determined by the System of Natural Numbers with Identity. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1994, v:28, n:, pp:61-71 [Journal]
  6. Andrzej Wronski
    Gentzen-style Calculi for Quasi-identities of Finite Algebras. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1994, v:28, n:, pp:73-79 [Journal]
  7. Tomasz Kowalski
    A Syntactic Proof of a Conjecture of Andrzej Wronski. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1994, v:28, n:, pp:81-86 [Journal]
  8. Andrzej Pietruszczak
    Cardinalities of Models for Pure Calculi of Names. [Citation Graph (0, 0)][DBLP]
    Reports on Mathematical Logic, 1994, v:28, n:, pp:87-102 [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