External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 16, Issue 1-2

    5 -- 6Olivier Danvy, Fritz Henglein, Harry G. Mairson, Alberto Pettorossi. Editorial: Special Issue Dedicated to Bob Paige
    7 -- 13Bob Paige. Research Retrospective
    15 -- 35Oege de Moor, David Lacey, Eric {Van Wyk}. Universal Regular Path Queries
    37 -- 62Yanhong A. Liu, Scott D. Stoller. Dynamic Programming via Static Incrementalization
    63 -- 92Elizabeth I. Leonard, Constance L. Heitmeyer. Program Synthesis from Formal Requirements Specifications Using APTS
    93 -- 149Thomas W. Reps, Louis B. Rall. Computational Divided Differencing and Divided-Difference Arithmetics
    runs on