scientific article; zbMATH DE number 1231589

MaRDI QIDQ4222908zbMATH OpenFDO

Authors Zena M. Ariola, Jan Willem Klop, Detlef Plump

Publication date 21 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#ariolaklopplump

zbMATH Keywords

term graph rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Bisimilarity in term graph rewriting.
• scientific article; zbMATH DE number 919844
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Modes of convergence for term graph rewriting
• Confluence for graph transformations

Cited in

(6)

• Bisimilarity in term graph rewriting.
• scientific article; zbMATH DE number 1759616 (Why is no real title available?)
• scientific article; zbMATH DE number 919844 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Rewriting on cyclic structures: Equivalence between the operational and the categorical description
• Collapsed tree rewriting: Completeness, confluence, and modularity

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 Q4222908)