|
Journals in DBLP
- Ingo Lepper
Simply terminating rewrite systems with long derivations. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:1, pp:1-18 [Journal]
- Jouko A. Väänänen, Boban Velickovic
Games played on partial isomorphisms. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:1, pp:19-30 [Journal]
- Saharon Shelah
On nice equivalence relations on ?2. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:1, pp:31-64 [Journal]
- Harold Simmons
A comparison of two systems of ordinal notations. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:1, pp:65-84 [Journal]
- Taneli Huuskonen, Tapani Hyttinen, Mika Rautila
On potential isomorphism and non-structure. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:1, pp:85-120 [Journal]
- Matthew B. Giorgi
The computably enumerable degrees are locally non-cappable. [Citation Graph (0, 0)][DBLP] Arch. Math. Log., 2004, v:43, n:1, pp:121-139 [Journal]
|