English
español
Navegación por Autor Baumgartner, Alexander
Mostrando resultados 1 a 4 de 4
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 24-jun-2013 | A Variant of Higher-Order Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | comunicación de congreso | |
openAccess | 2017 | Higher-Order Pattern Anti-Unification in Linear Time | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | artículo | |
openAccess | 29-jun-2015 | Nominal Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | comunicación de congreso | |
openAccess | 9-jul-2018 | Term-graph anti-unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | comunicación de congreso |