Exploració per tema "Graph queries"
Ara es mostren els items 1-1 de 1
-
Automated reasoning for attributed graph properties
(2018-11)
Article
Accés obertGraphs are ubiquitous in computer science. Moreover, in various application fields, graphs are equipped with attributes to express additional information such as names of entities or weights of relationships. Due to the ...