Pages that link to "Item:Q1854363"
From MaRDI portal
The following pages link to Complexity of nilpotent unification and matching problems. (Q1854363):
Displaying 5 items.
- Complexity of unification problems with associative-commutative operators (Q688565) (← links)
- Symbolic protocol analysis in the union of disjoint intruder theories: combining decision procedures (Q2268100) (← links)
- (Q3785940) (← links)
- Unification and matching modulo nilpotence (Q4647522) (← links)
- (Q4708591) (← links)