A logic of graph conditions extended with paths

Consultar RECERCAT

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

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 Gomez, Marisa
dc.contributor.author	Orejas Valdés, Fernando
dc.contributor.author	Pino Blanco, Elvira
dc.contributor.author	Lambers, Leen
dc.date	2016
dc.identifier.citation	Navarro, M., Orejas, F., Pino, E., Lambers, L. A logic of graph conditions extended with paths. A: International Workshop on Graph Computation Models. "GCM 2016: Electronic pre-proceedings". Vienna: 2016, p. 1-15.
dc.identifier.uri	http://hdl.handle.net/2117/100160
dc.language.iso	eng
dc.relation	http://gcm2016.inf.uni-due.de/papers/navarro-orejas-pino-lambers.pdf
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject	Graph theory
dc.subject	Grafs, Teoria de
dc.title	A logic of graph conditions extended with paths
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/conferenceObject
dc.description.abstract	In this paper we tackle the problem of extending the logic of nested graph conditions with paths. This means, for instance, that we may state properties about the existence of paths between some given nodes. As a main contribution, a sound and complete tableau method is defined for reasoning about this kind of properties.
dc.description.abstract	Peer Reviewed

Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira; Lambers, Leen

Lambers, Leen; Navarro Gomez, Marisa; Orejas Valdés, Fernando; Pino Blanco, Elvira

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

Navarro Gomez, Marisa; Orejas Valdés, Fernando

Schneider, Sven; Lambers, Leen; Orejas Valdés, Fernando

Coordinación

Patrocinio