|
Journals in DBLP
Acta Inf. 2007, volume: 44, number: 2
- Jan A. Bergstra, Inge Bethke, Alban Ponse
Decision problems for pushdown threads. [Citation Graph (0, 0)][DBLP] Acta Inf., 2007, v:44, n:2, pp:75-90 [Journal]
- Stefan Kahrs
Infinitary rewriting: meta-theory and convergence. [Citation Graph (0, 0)][DBLP] Acta Inf., 2007, v:44, n:2, pp:91-121 [Journal]
- Wim H. Hesselink
A criterion for atomicity revisited. [Citation Graph (0, 0)][DBLP] Acta Inf., 2007, v:44, n:2, pp:123-151 [Journal]
|