Show simple item record

dc.contributor.authorNavarro Gomez, Marisa
dc.contributor.authorOrejas Valdés, Fernando
dc.contributor.authorPino Blanco, Elvira
dc.contributor.authorLambers, Leen
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2017-01-27T09:01:41Z
dc.date.available2017-01-27T09:01:41Z
dc.date.issued2016
dc.identifier.citationNavarro, 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.urihttp://hdl.handle.net/2117/100161
dc.description.abstractIn 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.extent15 p.
dc.language.isoeng
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/es/
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshGraph theory
dc.titleA logic of graph conditions extended with paths
dc.typeConference report
dc.subject.lemacGrafs, Teoria de
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://biblioteca.sistedes.es/articulo/a-logic-of-graph-conditions-extended-with-paths/
dc.rights.accessOpen Access
local.identifier.drac19509002
dc.description.versionPostprint (published version)
local.citation.authorNavarro, M.; Orejas, F.; Pino, E.; Lambers, L.
local.citation.contributorJornadas sobre Programación y Lenguajes
local.citation.pubplaceSalamanca
local.citation.publicationNameActas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016): Salamanca, septiembre de 2016
local.citation.startingPage1
local.citation.endingPage15


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record