Abstract is missing.
- Invited talk: Unification in Cryptographic Protocol AnalysisChristopher Lynch. 1 [doi]
- Computing Local Unifiers in the Description Logic EL without the Top ConceptFranz Baader, Nguyen Thanh Binh 0003, Stefan Borgwardt, Barbara Morawska 0001. 2-8 [doi]
- Unification of anti-termsJan Otop. 9-14 [doi]
- Joint Constraint Abduction ProblemsLukasz Stafiniak. 15-20 [doi]
- Projective Unifiers in Modal LogicsWojciech Dzik, Piotr Wojtylak. 21-27 [doi]
- Computing finite variants for subterm convergent rewrite systemsStefan Ciobaca. 28-34 [doi]
- A Unification Algorithm to Compute Overlaps in a Call-by-Need Lambda-Calculus with Variable-Binding ChainsConrad Rau, Manfred Schmidt-Schauß. 35-41 [doi]
- αν calculusBen Kavanagh, James Cheney. 42-51 [doi]
- Does Unification Help in Normalization?Rakesh M. Verma, Wei Guo. 52-58 [doi]
- Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol AnalysisSerdar Erbatur, Santiago Escobar 0001, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Ralf Sasse. 59-64 [doi]