Sequence Unification Through Currying
From MaRDI portal
Publication:5432347
DOI10.1007/978-3-540-73449-9_22zbMath1196.68111MaRDI 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
68Q42: Grammars and rewriting systems
Related Items
Regular expression order-sorted unification and matching, Simplifying the signature in second-order unification, On the relation between context and sequence unification, Anti-unification for unranked terms and hedges