The SCEAS System
Navigation Menu

Journals in DBLP

Arch. Math. Log.
2003, volume: 42, number: 3

  1. Roberto Maieli
    A new correctness criterion for multiplicative non-commutative proof nets. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:3, pp:205-220 [Journal]
  2. Valentin Goranko, Bruce M. Kapron
    The modal logic of the countable random frame. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:3, pp:221-243 [Journal]
  3. Mojtaba Aghaei, Mohammad Ardeshir
    A Gentzen-style axiomatization for basic predicate calculus. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:3, pp:245-259 [Journal]
  4. Vladimir V. Rybakov
    Barwise's information frames and modal logics. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:3, pp:261-277 [Journal]
  5. Sergei S. Goncharov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy
    Simple and immune relations on countable structures. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:3, pp:279-291 [Journal]
  6. Mihai Prunescu
    Diophantine properties of finite commutative rings. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2003, v:42, n:3, pp:293-302 [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