The Bisimulation Problem for equational graphs of finite out-degree
Géraud SénizerguesPublished in: CoRR (2000)
Keyphrases
- equational theories
- theorem proving
- graph databases
- random graphs
- directed graph
- theorem prover
- graph model
- data mining
- graph matching
- graph representation
- graph theoretic
- pattern recognition
- graph partitioning
- image segmentation
- structured objects
- degree distribution
- series parallel
- subgraph isomorphism
- complex structures
- graph mining
- graph theory
- bipartite graph