External Links

    Journal: Annals of Pure and Applied Logic

    Volume 83, Issue 3

    199 -- 223E. A. Cichon, Andreas Weiermann. Term Rewriting Theory for the Primitive Recursive Functions
    225 -- 247Jens Blanck. Domain Representability of Metric Spaces
    249 -- 299Alessandra Carbone. Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus
    runs on