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 |