Abstract is missing.
- Unification modulo Homomorphic Encryption is DecidableSiva Anantharaman, Hai Lin 0005, Christopher Lynch, Paliath Narendran, Michaël Rusinowitch. 1-15 [doi]
- Matching linear and non-linear trace patterns with regular policiesFranz Baader, Andreas Bauer 0002, Alwen Tiu. 16-24 [doi]
- Unification in the Description Logic EL is of Type ZeroFranz Baader, Barbara Morawska 0001. 25-34 [doi]
- Equational Unification by Variant Narrowing (Extended Abstract)Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse. 35-39 [doi]
- First-order unification using variable-free relational algebraEmilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira. 40-54 [doi]
- Matching with Membership Constraints for Hedge and Context VariablesMircea Marin, Temur Kutsia. 55-68 [doi]
- A tractable logic of typesAllan Ramsay. 69-81 [doi]
- String Unification is Essentially InfinitaryJörg H. Siekmann, Michael Hoche, Peter Szabó. 82-102 [doi]