Thermodynamic graph-rewriting.
Vincent DanosRuss HarmerRicardo Honorato-ZimmerPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- rewriting systems
- rewriting rules
- random walk
- graph representation
- graph model
- connected components
- graph theory
- bipartite graph
- graph structure
- query rewriting
- graph matching
- directed graph
- graph partitioning
- graph theoretic
- data sets
- directed acyclic graph
- undirected graph
- data exchange
- experimental data
- datalog programs
- dependency graph
- np hard
- neural network