A rewriting calculus for cyclic higher-order term graphs
From MaRDI portal
Publication:5308094
DOI10.1017/S0960129507006093zbMath1125.68062MaRDI QIDQ5308094
Claude Kirchner, Paolo Baldan, Clara Bertolissi, Horatiu Cirstea
Publication date: 26 September 2007
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Related Items
Nominal Unification and Matching of Higher Order Expressions with Recursive Let, Twenty years of rewriting logic, Towards a Sharing Strategy for the Graph Rewriting Calculus, Sharing in the Graph Rewriting Calculus