Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Journal
    Name: Electr. Notes Theor. Comput. Sci.
    Year: 2003
    Volume: 72
    Number: 3
    DBLP: db/journals/entcs/entcs72.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 48 of 48  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Maribel Fernández, Ian Mackie, Jorge Sousa Pinto.
    A Higher-Order Calculus for Graph Transformation.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2007
    Conference paper
    Stefan Blom.
    Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2007
    Conference paper
    Enno Ohlebusch.
    Conditional Term Graph Rewriting with Indirect Sharing.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2007
    Conference paper
    Clemens Grabmayer.
    A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2007
    Conference paper
    Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König.
    Inequational Deduction as Term Graph Rewriting.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2007
    Conference paper
    Adam Bakewell.
    Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2007
    Conference paper
    Sylvain Lippi.
    Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2007
    Conference paper
    Ian Mackie, Detlef Plump.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2007
    Conference paper
    Reiko Heckel, Tom Mens, Michel Wermelinger.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2003
    Conference paper
    Paolo Bottoni, Mark Minas.
    Preface.
    Electr. Notes Theor. Comput. Sci. 2003, Volume 72 (0) 2003
    Show item 1 to 48 of 48  

    Your query returned 48 matches in the database.