{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:15:17Z","timestamp":1725473717706},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>In this work we study anti-unification for unranked terms and hedges, permitting context and hedge variables.<\/jats:p><jats:p>Hedges are sequences of unranked terms.<\/jats:p><jats:p>The anti-unification problem of two hedges s and q is concerned with finding their generalization, a hedge g such that both s and q are instances of g under some substitutions.<\/jats:p><jats:p>Context variables are used to abstract vertical differences in the input hedges,<\/jats:p><jats:p>and hedge variables are used to abstract horizontal differences.<\/jats:p><jats:p>A rule based system in Huet's style will be presented, which computes a set of<\/jats:p><jats:p>generalizations of input hedges and records all the differences.<\/jats:p><jats:p>The computed generalizations are least general among a certain class of generalizations.<\/jats:p>","DOI":"10.29007\/hg9q","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T17:59:07Z","timestamp":1516730347000},"page":"13-3","source":"Crossref","is-referenced-by-count":0,"title":["Unranked Anti-Unification with Hedge and Context Variables"],"prefix":"10.29007","volume":"19","author":[{"given":"Alexander","family":"Baumgartner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Temur","family":"Kutsia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"UNIF 2013. 27th International Workshop on Unification"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T17:59:08Z","timestamp":1516730348000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/Lq"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/hg9q","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}