DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/13343

Ítem no disponible en accés obert per política de l'editorial

Arxiu Descripció MidaFormat
a26-gascon.pdf689,03 kBAdobe PDF Accés restringit

Citació: Gascon, A.; Godoy, G.; Schmidt-Schauß, M. Unification and matching on compressed terms. "ACM transactions on computational logic", 29 Juliol 2011, vol. 12, núm. 4, p. 1-42.
Títol: Unification and matching on compressed terms
Autor: Gascón Caro, Adrià Veure Producció científica UPC; Godoy Balil, Guillem Veure Producció científica UPC; Schmidt-Schauß, Manfred
Data: 29-jul-2011
Tipus de document: Article
Resum: Term unification plays an important role in many areas of computer science, especially in those related to logic. The universal mechanism of grammar-based compression for terms, in particular the so-called singleton tree grammars (STGAs), have recently drawn considerable attention. Using STGs, terms of exponential size and height can be represented in linear space. Furthermore, the term representation by directed acyclic graphs (dags) can be efficiently simulated. The present article is the result of an investigation on term unification and matching when the terms given as input are represented using different compression mechanisms for terms such as dags and singleton tree grammars. We describe a polynomial time algorithm for context matching with dags, when the number of different context variables is fixed for the problem. For the same problem, NP-completeness is obtained when the terms are represented using the more general formalism of singleton tree grammars. For first-order unification and matching polynomial time algorithms are presented, each of them improving previous results for those problems.
ISSN: 1529-3785
URI: http://hdl.handle.net/2117/13343
DOI: 10.1145/1970398.1970402
Versió de l'editor: http://dl.acm.org/citation.cfm?doid=1970398.1970402
Apareix a les col·leccions:Altres. Enviament des de DRAC
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals. Articles de revista
Departament de Llenguatges i Sistemes Informàtics. Articles de revista
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius