|
Journals in DBLP
TPLP 2002, volume: 2, number: 2
- Annalisa Bossi, Sandro Etalle, Sabina Rossi
Properties of input-consuming derivations. [Citation Graph (0, 0)][DBLP] TPLP, 2002, v:2, n:2, pp:125-154 [Journal]
- Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
Soundness, idempotence and commutativity of set-sharing. [Citation Graph (0, 0)][DBLP] TPLP, 2002, v:2, n:2, pp:155-201 [Journal]
- David A. Rosenblueth
Chain Programs for Writing Deterministic Metainterpreters. [Citation Graph (0, 0)][DBLP] TPLP, 2002, v:2, n:2, pp:203-232 [Journal]
- Enea Zaffanella, Patricia M. Hill, Roberto Bagnara
Decomposing non-redundant sharing by complementation. [Citation Graph (0, 0)][DBLP] TPLP, 2002, v:2, n:2, pp:233-261 [Journal]
|