Loading...
Loading...

Go to the content (press return)

Towards a navigational logic for graphical structures

Author
Lambers, L.; Navarro, M.; Orejas, F.; Pino, E.
Type of activity
Book chapter
Book
Graph transformation, specifications, and nets: In memory of Hartmut Ehrig
First page
124
Last page
141
Publisher
Springer
Date of publication
2018-02-07
ISBN
978-3-319-75395-9 Open in new window
DOI
https://doi.org/10.1007/978-3-319-75396-6 Open in new window
Repository
http://hdl.handle.net/2117/114889 Open in new window
URL
https://link.springer.com/book/10.1007/978-3-319-75396-6 Open in new window
Abstract
One of the main advantages of the Logic of Nested Conditions, defined by Habel and Pennemann, for reasoning about graphs, is its generality: this logic can be used in the framework of many classes of graphs and graphical structures. It is enough that the category of these structures satisfies certain basic conditions. In a previous paper [14], we extended this logic to be able to deal with graph properties including paths, but this extension was only defined for the category of untyped directed...
Citation
Lambers, L., Navarro, M., Orejas, F., Pino, E. Towards a navigational logic for graphical structures. A: Symposium in Memory of Hartmut Ehrig. "Graph transformation, specifications, and nets: in memory of Hartmut Ehrig". Berlín: Springer, 2018, p. 124-141.
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments