Keyphrases
- petri net
- graph theoretic
- directed graph
- theorem proving
- graph theory
- graph clustering
- complex structures
- spanning tree
- theorem prover
- graph matching
- series parallel
- natural deduction
- graph theoretical
- mathematical proofs
- subgraph isomorphism
- attributed graphs
- databases
- graph mining
- graph structure
- pattern recognition
- data structure
- image segmentation
- website