Sharing in the Graph Rewriting Calculus
From MaRDI portal
Publication:2890320
DOI10.1007/978-3-642-28412-0_4zbMath1312.68111MaRDI QIDQ2890320
Paolo Baldan, Clara Bertolissi
Publication date: 8 June 2012
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_4
Uses Software
Cites Work
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Lambda calculus with patterns
- Lambda calculus with explicit recursion
- LEAN: An intermediate language based on graph rewriting
- The rewriting calculus - part II
- Towards a Sharing Strategy for the Graph Rewriting Calculus
- Term Rewriting and All That
- Rewriting on cyclic structures: Equivalence between the operational and the categorical description
- A rewriting calculus for cyclic higher-order term graphs
- The Rewriting Calculus as a Combinatory Reduction System
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item