External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 90, Issue 1

    1 -- 0Anuj Dawar. Preface
    3 -- 14Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion. Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH
    15 -- 35Lars Kristiansen, Karl-Heinz Niggl. The Garland Measure and Computational Complexity of Stack Programs
    37 -- 44Emanuele Covino, Giovanni Pani. A Refinement of the µ-measure for Stack Programs
    45 -- 47Yanhong A. Liu. Iterate, Incrementalize, and Implement: A systematic approach to efficiency improvement and guarantees
    runs on