Abstract is missing.
- Extensible Symbolic System AnalysisJosé Meseguer 0001. 1-4 [doi]
- On the Limits of Second-Order UnificationJordi Levy. 5-14 [doi]
- Unification Modulo Common List FunctionsPeter Hibbs, Paliath Narendran, Shweta Mehto. 15-21 [doi]
- Matching with respect to general concept inclusions in the Description Logic ELFranz Baader, Barbara Morawska 0001. 22-25 [doi]
- Unification in the normal modal logic Alt1Philippe Balbiani, Tinko Tinchev. 26-32 [doi]
- On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract)Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows 0001, Paliath Narendran, Christophe Ringeissen. 33-35 [doi]
- Hierarchical Combination of Matching Algorithms (Extended Abstract)Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Paliath Narendran, Christophe Ringeissen. 36-40 [doi]
- From Admissibility to a New Hierarchy of Unification TypesLeonardo Manuel Cabrer, George Metcalfe. 41-46 [doi]
- Constraint Manipulation in SGGSMaria Paola Bonacina, David A. Plaisted. 47-54 [doi]
- Two-sided unification is NP-completeTatyana A. Novikova, Vladimir A. Zakharov. 55-61 [doi]
- Nominal Anti-UnificationAlexander Baumgartner, Temur Kutsia, Jordi Levy, Mateu Villaret. 62-68 [doi]
- A Categorical Perspective on Pattern Unification (Extended Abstract)Andrea Vezzosi, Andreas Abel 0001. 69-73 [doi]
- Towards a better-behaved unification algorithm for CoqBeta Ziliani, Matthieu Sozeau. 74-87 [doi]