Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A logic of graph conditions extended with paths

Autor
Navarro, M.; Orejas, F.; Pino, E.; Lambers, L.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
7th International Workshop on Graph Computation Models
Any de l'edició
2016
Data de presentació
2016-07-04
Llibre d'actes
GCM 2016: Electronic pre-proceedings
Pàgina inicial
1
Pàgina final
15
Repositori
http://hdl.handle.net/2117/100160 Obrir en finestra nova
URL
http://gcm2016.inf.uni-due.de/papers/navarro-orejas-pino-lambers.pdf Obrir en finestra nova
Resum
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.
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius