Sequence Unification Through Currying
From MaRDI portal
Publication:5432347
DOI10.1007/978-3-540-73449-9_22zbMath1196.68111OpenAlexW1751726266MaRDI QIDQ5432347
Temur Kutsia, Jordi Levy, Mateu Villaret
Publication date: 2 January 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73449-9_22
Related Items (4)
Simplifying the signature in second-order unification ⋮ Regular expression order-sorted unification and matching ⋮ On the relation between context and sequence unification ⋮ Anti-unification for unranked terms and hedges
This page was built for publication: Sequence Unification Through Currying
