From Linear Term Rewriting to Graph Rewriting with Preservation of Termination.

Roy Overbeek Jörg Endrullis

Published in: GCM@STAF (2021)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
rewriting systems
operational semantics
knuth bendix
rewriting rules
directed graph
graph structure
graph representation
random walk
weighted graph
structured data
database
directed acyclic graph
rewrite rules
graph model
np complete
databases