Pages that link to "Item:Q5901562"
From MaRDI portal
The following pages link to Rewriting Techniques and Applications (Q5901562):
Displaying 6 items.
- Simplifying the signature in second-order unification (Q843951) (← links)
- A unification algorithm for second-order monadic terms (Q1109019) (← links)
- The STO problem is NP-complete (Q1284283) (← links)
- The STO-problem is NP-hard (Q1892125) (← links)
- Bounded Second-Order Unification Is NP-Complete (Q3527311) (← links)
- Unification with Singleton Tree Grammars (Q3636835) (← links)