Essentials of term graph rewriting
From MaRDI portal
Recommendations
Cites work
- Bisimilarity in term graph rewriting.
- Collapsed tree rewriting: Completeness, confluence, and modularity
- Counterexamples to termination for the direct sum of term rewriting systems
- Essentials of term graph rewriting
- scientific article; zbMATH DE number 4164141 (Why is no real title available?)
- scientific article; zbMATH DE number 4080885 (Why is no real title available?)
- scientific article; zbMATH DE number 1361503 (Why is no real title available?)
- scientific article; zbMATH DE number 3299786 (Why is no real title available?)
- Implementing term rewriting by graph reduction: Termination of combined systems
- Implementing term rewriting by jungle evaluation
- Modular aspects of term graph rewriting
- On the Church-Rosser property for the direct sum of term rewriting systems
- Term Rewriting and All That
- Termination of rewriting
Cited in
(44)- Modular aspects of term graph rewriting
- Transitive term graph rewriting
- On sharing, memoization, and polynomial time
- Relating graph and term rewriting via Böhm models
- Term rewriting on GPUs
- A flexible categorial formalisation of term graphs as directed hypergraphs
- Structure and properties of traces for functional programs
- Term-graph rewriting in \textsc{Tom} using relative positions
- Intensional properties of polygraphs
- On term-graph rewrite strategies
- REDEX CAPTURING IN TERM GRAPH REWRITING
- Implementing term rewriting by jungle evaluation
- Term-Graph Rewriting Via Explicit Paths
- Inductively Sequential Term-Graph Rewrite Systems
- scientific article; zbMATH DE number 1231481 (Why is no real title available?)
- scientific article; zbMATH DE number 1231490 (Why is no real title available?)
- scientific article; zbMATH DE number 1231508 (Why is no real title available?)
- scientific article; zbMATH DE number 1290294 (Why is no real title available?)
- Relational treatment of term graphs with bound variables
- scientific article; zbMATH DE number 2016092 (Why is no real title available?)
- Foreword: special issue on term and graph rewriting
- Term graph rewriting
- scientific article; zbMATH DE number 1361503 (Why is no real title available?)
- scientific article; zbMATH DE number 919844 (Why is no real title available?)
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Solving equations by graph transformation
- Essentials of term graph rewriting
- A dynamic logic for termgraph rewriting
- scientific article; zbMATH DE number 1418475 (Why is no real title available?)
- Proceedings of the 7th international workshop on computing with terms and graphs, TERMGRAPH 2013, Rome, Italy, March, 23, 2013
- Proceedings of the 6th international workshop on computing with terms and graphs, TERMGRAPH 2011, Saarbrücken, Germany, April 2, 2011
- Modeling terms by graphs with structure constraints (two illustrations)
- Semantics-preserving DPO-based term graph rewriting
- Redex capturing in term graph rewriting (concise version)
- Relating graph and term rewriting via Böhm models
- String diagram rewrite theory. I: Rewriting with Frobenius structure
- Critical pairs in term graph rewriting
- scientific article; zbMATH DE number 234035 (Why is no real title available?)
- Complexity of acyclic term graph rewriting
- Functional logic programming in Maude
- Towards a systematic method for proving termination of graph transformation systems
- Rewriting and Call-Time Choice: The HO Case
- Compiling collapsing rules in certain constructor systems
- Collapsed tree rewriting: Completeness, confluence, and modularity
This page was built for publication: Essentials of term graph rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923548)
