Confluence of Graph Rewriting with Interfaces
No abstract available.
Related papers
- Completeness of an axiomatization of graph isomorphism via graph rewriting in Coq CPP 2020
- A verified ground confluence tool for linear variable-separated rewrite systems in Isabelle/HOL CPP 2019
- Reachability Analysis for Termination and Confluence of Rewriting TACAS 2019
- Formalizing Simultaneous Critical Pairs for Confluence of Left-Linear Rewrite Systems CPP 2025
- Confluence Competition 2019 TACAS 2019
- Call-by-name extensionality and confluence JFP 2017
- Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs CPP 2024
- Automated Analysis of Logically Constrained Rewrite Systems using crest TACAS 2025