Pages that link to "Item:Q4647522"
From MaRDI portal
The following pages link to Unification and matching modulo nilpotence (Q4647522):
Displaying 9 items.
- Efficient general AGH-unification (Q462489) (← links)
- Complexity of nilpotent unification and matching problems. (Q1854363) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
- Unification modulo lists with reverse relation with certain word equations (Q2305403) (← links)
- Unification Modulo Chaining (Q2890181) (← links)
- (Q4708591) (← links)
- (Q4864469) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- Equational Theorem Proving for Clauses over Strings (Q6118747) (← links)