Login / Signup
The Bisimulation Problem for Equational Graphs of Finite Out-Degree.
Géraud Sénizergues
Published in:
SIAM J. Comput. (2005)
Keyphrases
</>
equational theories
random graphs
graph theoretic
graph databases
graph matching
graph theory
theorem proving
graph partitioning
directed graph
graph mining
graph model
spanning tree
undirected graph
graph representation
series parallel
structured objects