Graph-reducible term rewriting systems

DOI10.1007/BFB0017417MaRDI QIDQ4037331zbMATH OpenFDO

Authors Detlef Plump

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0017417

zbMATH Keywords

completenessgraph reductionterm rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Graph reducibility of term rewriting systems
• Modularity of termination in term graph rewriting
• Implementing term rewriting by graph reduction: Termination of combined systems
• Modular aspects of term graph rewriting
• Conditional term graph rewriting

Cited in

(35)

• Modular aspects of term graph rewriting
• Transitive term graph rewriting
• Relating graph and term rewriting via Böhm models
• Term rewriting on GPUs
• Transformation of shaped nested graphs and diagrams
• Term-graph rewriting in \textsc{Tom} using relative positions
• Modeling and verifying graph transformations in proof assistants
• Three Syntactic Theories for Combinatory Graph Reduction
• REDEX CAPTURING IN TERM GRAPH REWRITING
• Implementing term rewriting by jungle evaluation
• A Needed Rewriting Strategy for Data-Structures with Pointers
• Inductively Sequential Term-Graph Rewrite Systems
• Complexity analysis by graph rewriting
• Graph reducibility of term rewriting systems
• scientific article; zbMATH DE number 3986675 (Why is no real title available?)
• scientific article; zbMATH DE number 4043233 (Why is no real title available?)
• scientific article; zbMATH DE number 124283 (Why is no real title available?)
• scientific article; zbMATH DE number 1231481 (Why is no real title available?)
• Conditional term graph rewriting
• Simplification orders for term graph rewriting
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Essentials of term graph rewriting
• Term graph rewriting and parallel term rewriting
• Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System
• Needed computations shortcutting needed steps
• Analysis of graph transformation systems: native vs translation-based techniques
• An efficient representation of arithmetic for term rewriting
• A graph reduction approach to incremental term rewriting
• Modularity of termination in term graph rewriting
• On graph rewriting, reduction, and evaluation in the presence of cycles
• scientific article; zbMATH DE number 969069 (Why is no real title available?)
• Implementing term rewriting by graph reduction: Termination of combined systems
• On interreduction of semi-complete term rewriting systems
• Implementing conditional term rewriting by graph rewriting
• On termination of graph rewriting

This page was built for publication: Graph-reducible term rewriting systems

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