Conditional term graph rewriting

DOI10.1007/BFB0027008MaRDI QIDQ4364374zbMATH OpenFDO

Authors Enno Ohlebusch

Publication date 17 November 1997

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

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

zbMATH Keywords

graph rewritingterm rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Implementing conditional term rewriting by graph rewriting
• Conditional term graph rewriting with indirect sharing
• scientific article; zbMATH DE number 177461
• Modular aspects of term graph rewriting

Cited in

(13)

• Transitive term graph rewriting
• A uniform framework for term and graph rewriting applied to combined systems
• Efficient graph rewriting and its implementation
• Conditional term graph rewriting with indirect sharing
• An account of implementing applicative term rewriting
• scientific article; zbMATH DE number 5720989 (Why is no real title available?)
• Graph reducibility of term rewriting systems
• scientific article; zbMATH DE number 4060702 (Why is no real title available?)
• scientific article; zbMATH DE number 4090852 (Why is no real title available?)
• scientific article; zbMATH DE number 4092746 (Why is no real title available?)
• scientific article; zbMATH DE number 177461 (Why is no real title available?)
• scientific article; zbMATH DE number 1231489 (Why is no real title available?)
• Implementing conditional term rewriting by graph rewriting

This page was built for publication: Conditional term graph rewriting

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