Rank 2 Types for Term Graph Rewriting.

Steffen van Bakel

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

rewriting systems
graph model
graph structure
graph representation
structured data
search engine
image segmentation
xml documents
random walk
rewriting rules