English
español
Navegación por Autor Kutsia, Temur
Mostrando resultados 4 a 8 de 8
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 29-jun-2015 | Nominal Anti-Unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | comunicación de congreso | |
openAccess | 1-ene-2022 | Nominal Unification and Matching of Higher Order Expressions with Recursive Let | Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu; Kutz, Yunus | artículo | |
openAccess | 6-sep-2016 | Nominal Unification of Higher Order Expressions with Recursive Let | Schmidt-Schauss, Manfred; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | artículo | |
closedAccess | 2010 | On the relation between Context and Sequence Unification | Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | artículo | |
openAccess | 9-jul-2018 | Term-graph anti-unification | Baumgartner, Alexander; Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | comunicación de congreso |