default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st TERMGRAPH 2002: Barcelona, Spain
- Ian Mackie, Detlef Plump:
Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002. Electronic Notes in Theoretical Computer Science 72(1), Elsevier 2007 - Ian Mackie, Detlef Plump:
Preface. 1-2 - Adam Bakewell:
Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency. 3-16 - Stefan Blom:
Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting. 17-29 - Andrea Corradini
, Fabio Gadducci, Wolfram Kahl, Barbara König:
Inequational Deduction as Term Graph Rewriting. 31-44 - Maribel Fernández, Ian Mackie, Jorge Sousa Pinto:
A Higher-Order Calculus for Graph Transformation. 45-58 - Clemens Grabmayer:
A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs. 59-74 - Sylvain Lippi:
Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus. 75-86 - Enno Ohlebusch:
Conditional Term Graph Rewriting with Indirect Sharing. 87-100
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
