English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/159866
Share/Impact:
Statistics
logo share SHARE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:

DC FieldValueLanguage
dc.contributor.authorBaumgartner, Alexander-
dc.contributor.authorKutsia, Temur-
dc.contributor.authorLevy, Jordi-
dc.contributor.authorVillaret, Mateu-
dc.date.accessioned2018-01-30T13:26:19Z-
dc.date.available2018-01-30T13:26:19Z-
dc.date.issued2015-06-29-
dc.identifierdoi: 10.4230/LIPIcs.RTA.2015.57-
dc.identifierissn: 18688969-
dc.identifierisbn: 978-393989785-9-
dc.identifier.citation26th International Conference on Rewriting Techniques and Applications, RTA 2015. Leibniz International Proceedings in Informatics, LIPIcs V36 (2015): 57-73-
dc.identifier.urihttp://hdl.handle.net/10261/159866-
dc.description.abstractWe study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in generalizations is finite, then there exists a least general generalization which is unique modulo variable renaming and α-equivalence. We present an algorithm that computes it. The algorithm relies on a subalgorithm that constructively decides equivariance between two terms-in-context. We prove soundness and completeness properties of both algorithms and analyze their complexity. Nominal anti-unification can be applied to problems were generalization of first-order terms is needed (inductive learning, clone detection, etc.), but bindings are involved. © Alexander Baumgartner, Temur Kutsia, Jordi Levy, and Mateu Villaret.-
dc.description.sponsorshipThis research has been partially supported by the Spanish project HeLo (TIN2012-33042), by the Austrian Science Fund (FWF) with the project SToUT (P 24087-N18), and by the strategic program “Innovatives OÖ 2010plus” by the Upper Austrian Government-
dc.publisherDagstuhl Publishing-
dc.relationMINECO/TIN2012-33042-
dc.relation.isversionofPublisher's version-
dc.rightsopenAccess-
dc.subjectTerm-in-context-
dc.subjectNominal anti-unification-
dc.subjectEquivariance-
dc.titleNominal Anti-Unification-
dc.typecomunicación de congreso-
dc.date.updated2018-01-30T13:26:19Z-
dc.description.versionPeer Reviewed-
dc.language.rfc3066eng-
dc.contributor.funderAustrian Science Fund-
dc.contributor.funderMinisterio de Economía y Competitividad (España)-
dc.relation.csic-
dc.identifier.funderhttp://dx.doi.org/10.13039/501100002428es_ES
dc.identifier.funderhttp://dx.doi.org/10.13039/501100003329es_ES
Appears in Collections:(IIIA) Comunicaciones congresos
Files in This Item:
File Description SizeFormat 
LIPIcsV36(2015)_57-73.pdf538,05 kBUnknownView/Open
Show simple item record
 


WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.