View Document Preview and Link Document Date: 2014-06-06 13:46:56 Open Document File Size: 338,90 KB Share Result on Facebook
Company Cambridge University Press / / / Event Product Issues / / Facility University of Parma / University of Southern California / University of Leeds / / IndustryTerm above algorithms / unification algorithm / logic programming systems / overall solution / abstract unification algorithm / unification algorithms / / Organization ENEA ZAFFANELLA† Department of Mathematics / Cambridge University / PATRICIA M. HILLã School of Computing / University of Leeds / Leeds / University of Southern California / University of Parma / / Person ROBERTO BAGNARA / / / Position King / / Product results / / ProgrammingLanguage Prolog / / ProvinceOrState Southern California / / Region Southern California / / Technology above algorithms / unification algorithms / abstract unification algorithm / dom / unification algorithm / Montanari algorithm / / SocialTag 
Soundness, idempotence and commutativity of set-sharing