Pages that link to "Item:Q3613402"
From MaRDI portal
The following pages link to Stratified Context Unification Is NP-Complete (Q3613402):
Displaying 8 items.
- Simplifying the signature in second-order unification (Q843951) (← links)
- Dominance constraints in stratified context unification (Q845917) (← links)
- Context unification with one context variable (Q1041589) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- On the complexity of bounded second-order unification and stratified context unification (Q2889573) (← links)
- Congruence Closure of Compressed Terms in Polynomial Time (Q3172897) (← links)
- Unification with Singleton Tree Grammars (Q3636835) (← links)
- A Decision Algorithm for Stratified Context Unification (Q4796458) (← links)