Pages that link to "Item:Q1744404"
From MaRDI portal
The following pages link to Checking overlaps of nominal rewriting rules (Q1744404):
Displaying 7 items.
- Nominal unification with atom-variables (Q1640638) (← links)
- Parallel closure theorem for left-linear nominal rewriting systems (Q1687545) (← links)
- Confluence and commutation for nominal rewriting systems with atom-variables (Q2119102) (← links)
- Confluence of orthogonal term rewriting systems in the prototype verification system (Q2362205) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- Nominal unification with atom and context variables (Q4993360) (← links)
- Rewriting with generalized nominal unification (Q5139280) (← links)