Pages that link to "Item:Q6488538"
From MaRDI portal
The following pages link to Unification in a combination of equational theories: an efficient algorithm (Q6488538):
Displaying 6 items.
- A combinatory logic approach to higher-order E-unification (Q673971) (← links)
- AC-unification race: The system solving approach, implementation and benchmarks (Q1199708) (← links)
- Three systems for cryptographic protocol analysis (Q1330137) (← links)
- Modular higher-order E-unification (Q5055760) (← links)
- More problems in rewriting (Q5055812) (← links)
- Unification theory (Q6169561) (← links)
