Term-Graph Rewriting Via Explicit Paths

DOI10.1007/978-3-540-70590-1_3MaRDI QIDQ3522007zbMATH OpenOpenAlexFDO

Authors Emilie Balland, Pierre-Etienne Moreau

Publication date 28 August 2008

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00173535

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 234035
• scientific article; zbMATH DE number 919844
• Essentials of term graph rewriting
• Term-graph rewriting in \textsc{Tom} using relative positions
• On term-graph rewrite strategies

Cites work

• Addressed term rewriting systems: application to a typed object calculus
• CPO models for infinite term rewriting
• scientific article; zbMATH DE number 1189296 (Why is no real title available?)
• scientific article; zbMATH DE number 1088036 (Why is no real title available?)
• scientific article; zbMATH DE number 1368955 (Why is no real title available?)
• scientific article; zbMATH DE number 919844 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Implementing term rewriting by jungle evaluation
• Narrowing Data-Structures with Pointers
• On ``On graph rewritings
• Strategic rewriting
• Term-graph rewriting in \textsc{Tom} using relative positions
• Term-Graph Rewriting Via Explicit Paths

Cited in

(4)

• Term-graph rewriting in \textsc{Tom} using relative positions
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Term-Graph Rewriting Via Explicit Paths
• Foreword: special issue on term and graph rewriting

This page was built for publication: Term-Graph Rewriting Via Explicit Paths

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3522007)