The following pages link to (Q2819403):
Displaying 4 items.
- Satisfiability of general intruder constraints with and without a set constructor (Q507349) (← links)
- Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← links)
- Terminating non-disjoint combined unification (Q2119106) (← links)
- Unification and Matching in Hierarchical Combinations of Syntactic Theories (Q2964469) (← links)
