Mostra el registre d'ítem simple
A logic of graph conditions extended with paths
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.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2017-01-27T09:01:41Z |
dc.date.available | 2017-01-27T09:01:41Z |
dc.date.issued | 2016 |
dc.identifier.citation | Navarro, M., Orejas, F., Pino, E., Lambers, L. A logic of graph conditions extended with paths. A: Jornadas sobre Programación y Lenguajes. "Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016): Salamanca, septiembre de 2016". Salamanca: 2016, p. 1-15. |
dc.identifier.uri | http://hdl.handle.net/2117/100161 |
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.format.extent | 15 p. |
dc.language.iso | eng |
dc.rights.uri | http://creativecommons.org/licenses/by/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject.lcsh | Graph theory |
dc.title | A logic of graph conditions extended with paths |
dc.type | Conference report |
dc.subject.lemac | Grafs, Teoria de |
dc.contributor.group | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://biblioteca.sistedes.es/articulo/a-logic-of-graph-conditions-extended-with-paths/ |
dc.rights.access | Open Access |
local.identifier.drac | 19509002 |
dc.description.version | Postprint (published version) |
local.citation.author | Navarro, M.; Orejas, F.; Pino, E.; Lambers, L. |
local.citation.contributor | Jornadas sobre Programación y Lenguajes |
local.citation.pubplace | Salamanca |
local.citation.publicationName | Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016): Salamanca, septiembre de 2016 |
local.citation.startingPage | 1 |
local.citation.endingPage | 15 |