Specifying Graph Languages with Type Graphs.
Andrea CorradiniBarbara KönigDennis NoltePublished in: CoRR (2017)
Keyphrases
- graph structure
- graph theory
- graph representation
- graph theoretic
- weighted graph
- graph databases
- directed graph
- graph mining
- graph construction
- graph classification
- graph matching
- labeled graphs
- graph structures
- graph model
- graph clustering
- graph isomorphism
- graph partitioning
- series parallel
- graph data
- graph theoretical
- bipartite graph
- graph properties
- graph search
- random graphs
- subgraph isomorphism
- structural pattern recognition
- type checking
- spanning tree
- undirected graph
- graph drawing
- reachability queries
- graph transformation
- adjacency matrix
- minimum spanning tree
- directed acyclic
- topological information
- web graph
- dynamic graph
- expressive power
- polynomial time complexity
- average degree
- social graphs
- maximum independent set
- maximum clique
- structured objects
- graph representations
- graph patterns
- graph kernels
- edge weights
- connected dominating set
- query graph
- structured data
- disk resident
- maximum cardinality
- dense subgraphs
- massive graphs
- community discovery
- quasi cliques
- adjacency graph
- bounded treewidth
- association graph
- real world graphs