English
español
Navegación por Autor Schmidt-Schauss, Manfred
Mostrando resultados 1 a 4 de 4
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 | 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 | 2008 | The complexity of monadic second-order unification | Levy, Jordi CSIC ORCID ; Schmidt-Schauss, Manfred; Villaret, Mateu | artículo |