Pages that link to "Item:Q1623131"
From MaRDI portal
The following pages link to Layer systems for confluence -- formalized (Q1623131):
Displaying 4 items.
- From diagrammatic confluence to modularity (Q1929228) (← links)
- Layer systems for proving confluence (Q2911632) (← links)
- Compositional term rewriting: An algebraic proof of Toyama's theorem (Q5055865) (← links)
- Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata Completion (Q5369494) (← links)