Pages that link to "Item:Q3088028"
From MaRDI portal
The following pages link to Adhesivity Is Not Enough: Local Church-Rosser Revisited (Q3088028):
Displaying 3 items.
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
