scientific article; zbMATH DE number 1088027

MaRDI QIDQ4364374zbMATH OpenFDO

Authors Enno Ohlebusch

Publication date 17 November 1997

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:

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