| a |
| Anti-Unification with Skeletons | Unranked Anti-Unification with Hedge and Context Variables |
| Asymmetric unification | Unication Problems Modulo a Theory of Until |
| c |
| combination | Hierarchical Combination of Unication Algorithms (Extended Abstract) |
| d |
| Description Logic | Hybrid Unification in the Description Logic EL |
| Disunification | Unication Problems Modulo a Theory of Until |
| e |
| equational generalization | Detecting Modular ACU Structural Symmetries |
| equational theories | Hierarchical Combination of Unication Algorithms (Extended Abstract) |
| Equational Unification | Unication Problems Modulo a Theory of Until |
| equivalence checking | Is it possible to unify sequential programs? |
| g |
| Generalization with Hedge and Context Variables | Unranked Anti-Unification with Hedge and Context Variables |
| graph automorphism | Detecting Modular ACU Structural Symmetries |
| l |
| Least General Rigid Generalization | Unranked Anti-Unification with Hedge and Context Variables |
| Linear Temporal Logic | Unication Problems Modulo a Theory of Until |
| n |
| NP-complete | Hybrid Unification in the Description Logic EL |
| NP-completeness | Unication Problems Modulo a Theory of Until |
| p |
| Parametrized Rigid Higher-Order Generalization | Unranked Anti-Unification with Hedge and Context Variables |
| polynomial time | Is it possible to unify sequential programs? |
| polynomial time complexity | Unication Problems Modulo a Theory of Until |
| program | Is it possible to unify sequential programs? |
| s |
| Structural symmetries | Detecting Modular ACU Structural Symmetries |
| substitution | Is it possible to unify sequential programs? |
| t |
| term rewriting | Unication Problems Modulo a Theory of Until |
| u |
| unification | Hybrid Unification in the Description Logic EL
Hierarchical Combination of Unication Algorithms (Extended Abstract)
Is it possible to unify sequential programs? |
| Unranked Higher-Order Anti-Unification | Unranked Anti-Unification with Hedge and Context Variables |
