|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
|