Tree algebras and bisimulation-invariant MSO on finite graphs.
Thomas ColcombetAmina DoumaneDenis KuperbergPublished in: CoRR (2024)
Keyphrases
- markov chain
- finite state
- tree automata
- spanning tree
- graph structure
- minimum spanning tree
- tree structure
- minimum spanning trees
- maximal cliques
- graph matching
- graph theoretic
- reachability queries
- hierarchical structure
- bounded degree
- tree structured data
- graph model
- undirected graph
- monadic second order logic
- affine transformation
- graph representation
- monadic datalog
- random graphs
- leaf nodes
- spatial reasoning
- database systems
- affine invariant
- graph theory
- knowledge representation