Term Graph Rewriting and Parallel Term Rewriting
Andrea CorradiniFrank DrewesPublished in: TERMGRAPH (2011)
Keyphrases
- term rewriting
- rewriting systems
- theorem proving
- theorem prover
- graph model
- operational semantics
- knuth bendix
- directed graph
- random walk
- graph theory
- parallel processing
- graph representation
- depth first search
- rewriting rules
- structured data
- rewrite systems
- knowledge base
- weighted graph
- first order logic
- shared memory
- directed acyclic graph
- social networks
- graph structure