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ó
XVI Jornadas sobre Programación y Lenguajes
Any de l'edició
2016
Data de presentació
2016-09-15
Llibre d'actes
Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016): Salamanca, septiembre de 2016
Pàgina inicial
1
Pàgina final
15
Repositori
http://hdl.handle.net/2117/100161 Obrir en finestra nova
URL
http://biblioteca.sistedes.es/articulo/a-logic-of-graph-conditions-extended-with-paths/ 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: 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.
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius