Cyclic Lambda Graph Rewriting

Zena M. Ariola Jan Willem Klop

Published in: LICS (1994)

Keyphrases

rewriting systems
rewriting rules
weighted graph
graph representation
directed acyclic graph
graph theoretic
fixed point
random walk
structured data
graph model
connected components
graph matching
graph theory
conjunctive queries
database
graph data
datalog programs
dependency graph
stable set