The following pages link to Semi-unification (Q808713):
Displaying 13 items.
- A \(\lambda\)-unifiability test for set theory (Q751644) (← links)
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- On subsumption and semiunification in feature algebras (Q1194340) (← links)
- The undecidability of the semi-unification problem (Q1207950) (← links)
- Semi-unification of two terms in Abelian groups (Q1336738) (← links)
- Relaxed unification -- proposal (Q1431877) (← links)
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
- Source-tracking unification (Q2568436) (← links)
- Fast algorithms for uniform semi-unification (Q2643520) (← links)
- Unification Modulo Nonnested Recursion Schemes via Anchored Semi-Unification (Q2958389) (← links)
- Semi-revision (Q3128372) (← links)
- Une charpente de semi-unification (Q3789065) (← links)
- (Q4713411) (← links)