Refine
Has Fulltext
- no (1) (remove)
Year of publication
- 2021 (1)
Document Type
- Article (1)
Language
- English (1) (remove)
Is part of the Bibliography
- yes (1)
Keywords
- Algebraic methods (1) (remove)
Institute
Graphs play an important role in many areas of Computer Science. In particular, our work is motivated by model-driven software development and by graph databases. For this reason, it is very important to have the means to express and to reason about the properties that a given graph may satisfy. With this aim, in this paper we present a visual logic that allows us to describe graph properties, including navigational properties, i.e., properties about the paths in a graph. The logic is equipped with a deductive tableau method that we have proved to be sound and complete.