On the Adequacy of Graph Rewriting for Simulating Term Rewriting.
Richard KennawayJan Willem KlopM. Ronan SleepFer-Jan de VriesPublished in: ACM Trans. Program. Lang. Syst. (1994)
Keyphrases
- term rewriting
- rewriting systems
- theorem prover
- theorem proving
- rewriting rules
- operational semantics
- rewrite systems
- graph theory
- directed acyclic graph
- graph representation
- structured data
- bipartite graph
- multi agent
- graph model
- graph mining
- knuth bendix
- rewrite rules
- graph databases
- weighted graph
- graph structure
- probabilistic model
- expert systems