Sign in

Relating graph and term rewriting via Böhm models.

Zena M. Ariola
Published in: Appl. Algebra Eng. Commun. Comput. (1996)
Keyphrases
  • term rewriting
  • graph representation
  • random walk
  • operational semantics