Satisfiability of constraint specifications on XML documents

Home | About RECERCAT | Contact

Català | Castellano

All of RECERCAT

By Communities &
Collections By Defense Date By Authors By Titles By Subject

This Collection

By Defense Date By Authors By Titles By Subject

Statistics

View Statistics All RECERCAT

My RECERCAT

Other repositories directory

RECERCAT Home > Universitat Politècnica de Catalunya > Documents de recerca > View document

To access the full text documents, please follow this link: 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

Show simple item record

All of RECERCAT

This Collection

Statistics

My RECERCAT

Related documents

Other documents of the same author