scientific article; zbMATH DE number 177461
From MaRDI portal
Publication:4037331
Recommendations
Cited in
(29)- An efficient representation of arithmetic for term rewriting
- Term-graph rewriting in \textsc{Tom} using relative positions
- Term graph rewriting and parallel term rewriting
- scientific article; zbMATH DE number 124283 (Why is no real title available?)
- Three Syntactic Theories for Combinatory Graph Reduction
- Relating graph and term rewriting via Böhm models
- Modeling and verifying graph transformations in proof assistants
- Essentials of term graph rewriting
- On interreduction of semi-complete term rewriting systems
- Analysis of graph transformation systems: native vs translation-based techniques
- Implementing conditional term rewriting by graph rewriting
- On termination of graph rewriting
- scientific article; zbMATH DE number 4043233 (Why is no real title available?)
- A Needed Rewriting Strategy for Data-Structures with Pointers
- Inductively Sequential Term-Graph Rewrite Systems
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Complexity analysis by graph rewriting
- A graph reduction approach to incremental term rewriting
- scientific article; zbMATH DE number 3986675 (Why is no real title available?)
- Implementing term rewriting by graph reduction: Termination of combined systems
- Graph reducibility of term rewriting systems
- On graph rewriting, reduction, and evaluation in the presence of cycles
- Modularity of termination in term graph rewriting
- Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System
- Implementing term rewriting by jungle evaluation
- Transformation of shaped nested graphs and diagrams
- Term rewriting on GPUs
- Modular aspects of term graph rewriting
- Needed computations shortcutting needed steps
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037331)
