1. DIGITAL.CSIC
  2. Ciencia y Tecnologías Físicas
  3. Instituto de Investigación en Inteligencia Artificial (IIIA)
  4. (IIIA) Comunicaciones congresos
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/160942
COMPARTIR / EXPORTAR:
logo share SHARE logo core CORE BASE

Comparte tu historia
de Acceso Abierto
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE

Invitar a revisión por pares abierta
Campo DC Valor Lengua/Idioma
dc.contributor.authorLevy, Jordi-
dc.contributor.authorSchmidt-Schauss, Manfred-
dc.contributor.authorVillaret, Mateu-
dc.date.accessioned2018-02-19T13:24:33Z-
dc.date.available2018-02-19T13:24:33Z-
dc.date.issued2004-
dc.identifierdoi: 10.1007/978-3-540-25979-4_4-
dc.identifierissn: 0302-9743-
dc.identifierisbn: 978-3-540-22153-1-
dc.identifier.citationRewriting Techniques and Applications: 15th International Conference, RTA 2004. Proceedings. LNCS 3091: 55- 69 (2004)-
dc.identifier.urihttp://hdl.handle.net/10261/160942-
dc.description.abstractMonadic Second-Order Unification (MSOU) is Second-Order Unification where all function constants occurring in the equations are unary. Here we prove that the problem of deciding whether a set of monadic equations has a unifier is NP-complete. We also prove that Monadic Second-Order Matching is also NP-complete. © Springer-Verlag 2004.-
dc.description.sponsorshipThis research has been partially supported by the CICYT Research Projects CADVIAL (TIC2001-2392-C03-01) and LOGFAC (TIC2001-1577-C03-01)-
dc.publisherSpringer Nature-
dc.relation.isversionofPostprint-
dc.rightsopenAccess-
dc.subjectSecond-order matching-
dc.subjectNP complete-
dc.subjectSecond orders-
dc.titleMonadic second-order unification Is NP-complete-
dc.typeartículo-
dc.identifier.doi10.1007/978-3-540-25979-4_4-
dc.date.updated2018-02-19T13:24:33Z-
dc.description.versionPeer Reviewed-
dc.language.rfc3066eng-
dc.contributor.funderComisión Interministerial de Ciencia y Tecnología, CICYT (España)-
dc.relation.csicSí-
dc.identifier.funderhttp://dx.doi.org/10.13039/501100007273es_ES
dc.type.coarhttp://purl.org/coar/resource_type/c_6501es_ES
item.openairetypeartículo-
item.grantfulltextopen-
item.cerifentitytypePublications-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextWith Fulltext-
Aparece en las colecciones: (IIIA) Comunicaciones congresos
Ficheros en este ítem:
Fichero Descripción Tamaño Formato
RTA2004_LNCS3091_55-69.pdf148,95 kBAdobe PDFVista previa
Visualizar/Abrir
Show simple item record

CORE Recommender

SCOPUSTM   
Citations

12
checked on 10-abr-2024

Page view(s)

219
checked on 18-abr-2024

Download(s)

166
checked on 18-abr-2024

Google ScholarTM

Check

Altmetric

Altmetric


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.