Specifying Graph Languages with Type Graphs.
Andrea CorradiniBarbara KönigDennis NoltePublished in: ICGT (2017)
Keyphrases
- graph representation
- graph theory
- graph structure
- directed graph
- graph matching
- weighted graph
- graph construction
- graph mining
- graph databases
- labeled graphs
- graph properties
- graph structures
- adjacency matrix
- subgraph isomorphism
- graph theoretic
- graph classification
- series parallel
- random graphs
- graph clustering
- graph model
- structural pattern recognition
- graph isomorphism
- spanning tree
- graph data
- bipartite graph
- graph partitioning
- type checking
- graph kernels
- graph theoretical
- inexact graph matching
- graph search
- reachability queries
- maximum cardinality
- undirected graph
- graph drawing
- connected graphs
- maximum common subgraph
- graph transformation
- social graphs
- dynamic graph
- structured data
- adjacency graph
- edge weights
- attributed graphs
- evolving graphs
- web graph
- minimum spanning tree
- maximum clique
- fully connected
- average degree
- polynomial time complexity
- graph patterns
- graph embedding
- small world
- planar graphs
- directed acyclic
- topological information
- directed acyclic graph
- regular expressions
- maximum independent set
- social networks