内容

目次

Unification theory, J.H.Siekmann; on equational theories, unificationand (un)dicidability, H.J.Burckert et al; unification in permutativeequational theories is undecidable, M.Schmidt-Schauss; matching - aspecial case of unification?, H.J.Burckert; on the relationship ofcongruence closure and unification, P.C.Kanellakis and P.Z.Revesz; onthe logic of unification, P.Le Chernadec; unification in a combinationof arbitrary disjoint equational theories, M.Schmidt-Schauss;unification in boolean rings and abelian groups, A.Boudet et al;equational problems and disunification, H.Comon and P.Lescanne; solvingword equations, H.Abdulrab and J.P.Pecuchet; efficient solution oflinear diophantine equations, M.Clausen and A.Fortenbacher; adventuresin associative-commutative unification, P.Lincoln and J.U.Christian;unification in commutative theories, F.Baader; boolean unification -the story so far, U.Martin and T.Nipkow; order-sorted unification,J.Meseguer et al; inheritance hierarchies - semantics and unification,G.Smolka and H.Ait-Kaci; basic narrowing revisited, W.Nutt et al;enumerating outer narrowing derivation for constructor-based termrewriting systems, J.H.You; higher-order unification revisited -complete sets of transformations, W.Snyder and J.Gallier.