Term graph rewriting and parallel term rewriting

MaRDI QIDQ4964701zbMATH OpenFDO

Authors Andrea Corradini, Frank Drewes

Publication date 3 March 2021

Full work available at URL https://arxiv.org/abs/1102.2651, http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2011.3

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Modes of convergence for term graph rewriting
• Modes of convergence for term graph rewriting
• Term rewriting in \(\mathrm{CT}_\Sigma \)
• Term graph rewriting
• scientific article; zbMATH DE number 177461

Cited in

(14)

• Bisimilarity in term graph rewriting.
• Infinitary rewriting: closure operators, equivalences and models
• Term-graph rewriting in \textsc{Tom} using relative positions
• Modes of convergence for term graph rewriting
• REDEX CAPTURING IN TERM GRAPH REWRITING
• On sequential and parallel node-rewriting graph grammars, II
• scientific article; zbMATH DE number 1552516 (Why is no real title available?)
• Foreword: special issue on term and graph rewriting
• Parallel Graph Rewriting with Overlapping Rules
• Term graph rewriting
• Term rewriting in \(\mathrm{CT}_\Sigma \)
• Redex capturing in term graph rewriting (concise version)
• CPO models for infinite term rewriting
• Modes of convergence for term graph rewriting

This page was built for publication: Term graph rewriting and parallel term rewriting

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