Journals in DBLP

Higher-Order and Symbolic Computation
2005, volume: 18, number: 1-2

1. Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:5-6 [Journal]
   
2. Harry G. Mairson
   Robert Paige (1947-1999). [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:7-8 [Journal]
   
3. Alan Siegel
   Remembrances of Bob Paige. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:9-11 [Journal]
   
4. Martin Davis
   An Appreciation of Bob Paige. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:13-13 [Journal]
   
5. Deepak Goyal
   Transformational Derivation of an Improved Alias Analysis Algorithm. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:15-49 [Journal]
   
6. Jules Desharnais, Bernhard Möller
   Least Reflexive Points of Relations. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:51-77 [Journal]
   
7. Nils Klarlund
   Relativizations for the Logic-Automata Connection. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:79-120 [Journal]
   
8. Alberto Pettorossi, Maurizio Proietti, Sophie Renault
   Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:121-210 [Journal]
   
9. Robert Paige
   An NSF Proposal. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:211-235 [Journal]