|
Journals in DBLP
TPLP 2001, volume: 1, number: 5
- Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski
Transformation-based bottom-up computation of the well-founded model. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:5, pp:497-538 [Journal]
- Filomena Ferrucci, Giuliano Pacini, Maria I. Sessa
On redundancy elimination tolerant scheduling rules. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:5, pp:539-590 [Journal]
- Zbigniew Lonc, Miroslaw Truszczynski
On the problem of computing the well-founded semantics. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:5, pp:591-609 [Journal]
- Samir Genaim, Jacob M. Howe, Michael Codish
Worst-case groundness analysis using definite boolean functions. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:5, pp:611-615 [Journal]
- Richard A. O'Keefe
O(1) reversible tree navigation without cycle. [Citation Graph (0, 0)][DBLP] TPLP, 2001, v:1, n:5, pp:617-630 [Journal]
|