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/100161
Tipus de documentText en actes de congrés
Data publicació2016
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement 3.0 Espanya
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: 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.
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
actas08_paper9.pdf | 273,0Kb | Visualitza/Obre |