A logic of graph conditions extended with paths
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/100160
Tipus de documentText en actes de congrés
Data publicació2016
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
Citació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.
Versió de l'editorhttp://gcm2016.inf.uni-due.de/papers/navarro-orejas-pino-lambers.pdf
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
navarro-orejas-pino-lambers-1.pdf | 244,8Kb | Visualitza/Obre |