Satisfiability of constraint specifications on XML documents

Inicio | ¿Qué es? | Contacto

English | Català

Consultar RECERCAT

Por comunidades y
colecciones Por fecha Por autores Por títulos Por temas (CDU)

Consultar departamento

Por fecha Por autores Por títulos Por temas (CDU)

Estadisticas

Del documento Todo RECERCAT

Mi RECERCAT

Entrar Alertas por correo-e

Directorio de otros repositorios

RECERCAT Principal > Universitat Politècnica de Catalunya > Documents de recerca > Visualizar documento

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/83966

dc.contributor	Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Navarro Gómez, Marisa
dc.contributor.author	Orejas Valdés, Fernando
dc.contributor.author	Pino Blanco, Elvira
dc.date	2015
dc.identifier.citation	Navarro, M., Orejas, F., Pino, E. Satisfiability of constraint specifications on XML documents. A: Logic, Rewriting, and Concurrency Festschrift Symposium in Honor of José Meseguer. "Logic, Rewriting, and Concurrency: Essays dedicated to José Meseguer on the occasion of his 65th birthday". Urbana, Illinois: Springer, 2015, p. 539-561.
dc.identifier.citation	978-3-319-23165-5
dc.identifier.citation	10.1007/978-3-319-23165-5_25
dc.identifier.uri	http://hdl.handle.net/2117/83966
dc.language.iso	eng
dc.publisher	Springer
dc.relation	http://dx.doi.org/10.1007/978-3-319-23165-5_25
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject	Computer science -- Mathematics
dc.subject	Formal methods (Computer science)
dc.subject	Informàtica -- Matemàtica
dc.subject	Mètodes formals (Informàtica)
dc.title	Satisfiability of constraint specifications on XML documents
dc.type	info:eu-repo/semantics/submittedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.abstract	Jose Meseguer is one of the earliest contributors in the area of Algebraic Specification. In this paper, which we are happy to dedicate to him on the occasion of his 65th birthday, we use ideas and methods coming from that area with the aim of presenting an approach for the specification of the structure of classes of XML documents and for reasoning about them. More precisely, we specify the structure of documents using sets of constraints that are based on XPath and we present inference rules that are shown to define a sound and complete refutation procedure for checking satisfiability of a given specification using tableaux.
dc.description.abstract	Peer Reviewed

Mostrar el registro sencillo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Institutions for navigational logics for graphical structures

Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro Gómez, Marisa; Lambers, Leen

Semantics of structured normal logic programs

Pasarella Sánchez, Ana Edelmira; Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro, Marisa

An Algebraic framework for the definition of compositional semantics of normal logic programs

Lucio, Paqui; Orejas Valdés, Fernando; Pino Blanco, Elvira

Constructive negation without subsidiary trees

Pasarella Sánchez, Ana Edelmira; Pino Blanco, Elvira; Orejas Valdés, Fernando

Correctness of incremental model synchronization with triple graph grammars

Orejas Valdés, Fernando; Pino Blanco, Elvira

Accesibilidad | Aviso legal | Política de Cookies | Documentos de uso interno

Coordinación

Patrocinio