Pages that link to "Item:Q2643520"
From MaRDI portal
The following pages link to Fast algorithms for uniform semi-unification (Q2643520):
Displaying 12 items.
- Efficient general AGH-unification (Q462489) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Average-case analysis of unification algorithms (Q685442) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Semi-unification (Q808713) (← links)
- A practically efficient and almost linear unification algorithm (Q1105360) (← links)
- Average-case analysis of Robinson's unification algorithm with two different variables (Q1823683) (← 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)
- Une charpente de semi-unification (Q3789065) (← links)
- Fast Evaluation of Union-Intersection Expressions (Q5387808) (← links)