Pages that link to "Item:Q3613402"
From MaRDI portal
The following pages link to Stratified Context Unification Is NP-Complete (Q3613402):
Displaying 5 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)
- Congruence Closure of Compressed Terms in Polynomial Time (Q3172897) (← links)
- Unification with Singleton Tree Grammars (Q3636835) (← links)
