Towards a Navigational Logic for Graphical Structures
- 7 February 2018
- book chapter
- Published by Springer Nature
- p. 124-141
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Tableau-Based Reasoning for Graph Properties2014
- Querying graph databases2013
- Regular path queries on graphs with data2012
- Querying graph patterns2011
- Expressiveness of graph conditions with variables2010
- Correctness of high-level transformation systems relative to nested conditionsMathematical Structures in Computer Science, 2009
- GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONSFundamenta Informaticae, 1996
- Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach -Electronic Notes in Theoretical Computer Science, 1995
- A graphical query language supporting recursion1987
- Graph Grammars with Application Conditions1986