Mostrando resultados 7 a 19 de 19
< Anterior
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
openAccess | | 2004 | Monadic second-order unification Is NP-complete | Levy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateu | artículo |
openAccess | | abr-2019 | New complexity results for Lukasiewicz logic | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; 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 | | 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 |
closedAccess | | 2012 | Nominal unification from a higher-order perspective | Levy, Jordi CSIC ORCID ; Villaret, Mateu | 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 |
openAccess | | 2011 | On the complexity of bounded second-order unification and stratified context unification | Levy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateu | artículo |
closedAccess | | 2010 | On the relation between Context and Sequence Unification | Kutsia, Temur; Levy, Jordi CSIC ORCID ; Villaret, Mateu | artículo |
closedAccess | | 2015 | SAT and SMT technology for many-valued logics | Ansotegui, Carlos; Bofill, Miquel; Manyà, Felip CSIC ORCID ; Villaret, Mateu | artículo |
closedAccess | | 2009 | Simplifying the signature in second-order unification | 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 |
openAccess | | 2015 | The Complexity of 3-Valued Lukasiewicz Rules | Bofill, Miquel; Manyà, Felip CSIC ORCID ; Vidal, Amanda; Villaret, Mateu | comunicación de congreso |
closedAccess | | 2008 | The complexity of monadic second-order unification | Levy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateu | artículo |