A logic of graph conditions extended with paths

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

View/Open

navarro-orejas-pino-lambers-1.pdf (244,8Kb)

View UPCommons Usage Statistics

LA Referencia / Recolecta stats

Cita com:

Show full item record

Navarro Gomez, Marisa

Orejas Valdés, Fernando

Pino Blanco, Elvira

Lambers, Leen

Document typeConference report

Defense date2016

Rights accessOpen Access

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder

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.

CitationNavarro, 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.

URIhttp://hdl.handle.net/2117/100160

Publisher versionhttp://gcm2016.inf.uni-due.de/papers/navarro-orejas-pino-lambers.pdf

Collections

View UPCommons Usage Statistics

Show full item record

Files	Description	Size	Format	View
navarro-orejas-pino-lambers-1.pdf		244,8Kb	PDF	View/Open

UPCommons. Global access to UPC knowledge

A logic of graph conditions extended with paths

View/Open

Browse