Journals in DBLP

Higher-Order and Symbolic Computation
2000, volume: 13, number: 4

1. Olivier Danvy, Carolyn L. Talcott
   Editorial. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:287-288 [Journal]
   
2. Yanhong A. Liu
   Efficiency by Incrementalization: An Introduction. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:289-313 [Journal]
   
3. John Hatcliff, Matthew B. Dwyer, Hongjun Zheng
   Slicing Software for Model Construction. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:315-353 [Journal]
   
4. Torben Æ. Mogensen
   Glossary for Partial Evaluation and Related Topics. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 2000, v:13, n:4, pp:355-368 [Journal]