|
Journals in DBLP
Inf. Comput. 1998, volume: 145, number: 2
- Claudio Hermida, Bart Jacobs
Structural Induction and Coinduction in a Fibrational Setting. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:145, n:2, pp:107-152 [Journal]
- Roberto Giacobazzi, Francesco Ranzato
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:145, n:2, pp:153-190 [Journal]
- Flavio Corradini
On Performance Congruences for Process Algebras. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1998, v:145, n:2, pp:191-230 [Journal]
|