The SCEAS System
Navigation Menu

Journals in DBLP

Higher-Order and Symbolic Computation
2003, volume: 16, number: 1-2

  1. Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi
    Editorial: Special Issue Dedicated to Bob Paige. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:5-6 [Journal]
  2. Bob Paige
    Research Retrospective. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:7-13 [Journal]
  3. Oege de Moor, David Lacey, Eric Van Wyk
    Universal Regular Path Queries. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:15-35 [Journal]
  4. Yanhong A. Liu, Scott D. Stoller
    Dynamic Programming via Static Incrementalization. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:37-62 [Journal]
  5. Elizabeth I. Leonard, Constance L. Heitmeyer
    Program Synthesis from Formal Requirements Specifications Using APTS. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:63-92 [Journal]
  6. Thomas W. Reps, Louis B. Rall
    Computational Divided Differencing and Divided-Difference Arithmetics. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2003, v:16, n:1-2, pp:93-149 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002