scientific article; zbMATH DE number 177461

MaRDI QIDQ4037331zbMATH OpenFDO

Authors Detlef Plump

Publication date 18 May 1993

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
• scientific article; zbMATH DE number 1088027

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?)
• scientific article; zbMATH DE number 1088027 (Why is no real title available?)
• scientific article; zbMATH DE number 1361503 (Why is no real title available?)
• 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:

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