External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 72, Issue 1

    1 -- 2Ian Mackie, Detlef Plump. Preface
    3 -- 16Adam Bakewell. Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency
    17 -- 29Stefan Blom. Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting
    31 -- 44Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König. Inequational Deduction as Term Graph Rewriting
    45 -- 58Maribel Fernández, Ian Mackie, Jorge Sousa Pinto. A Higher-Order Calculus for Graph Transformation
    59 -- 74Clemens Grabmayer. A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
    75 -- 86Sylvain Lippi. Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus
    87 -- 100Enno Ohlebusch. Conditional Term Graph Rewriting with Indirect Sharing
    runs on