A Logic of Graph Conditions Extended with Paths

Navarro, Marisa; Pino, Elvira; Orejas, Fernando; Lambers, Leen

by Marisa Navarro, Elvira Pino, Fernando Orejas, Leen Lambers

Reference:

A Logic of Graph Conditions Extended with Paths (Marisa Navarro, Elvira Pino, Fernando Orejas, Leen Lambers), In 7th Int. Workshop on Graph Computation Models, 2016. (Pre-proceedings)

Bibtex Entry:

@InProceedings{Navarro+16,
AUTHOR = {Navarro, Marisa and Pino, Elvira and Orejas, Fernando and Lambers, Leen},
TITLE = {{A Logic of Graph Conditions Extended with Paths}},
YEAR = {2016},
BOOKTITLE = {7th Int. Workshop on Graph Computation Models},
URL = {http://gcm2016.inf.uni-due.de/pre-proceedings.html},
OPTacc_url = {},
NOTE = {Pre-proceedings}
}