Author:Nachum Dershowitz

Keyphrases

Cyclic Graphs, de Vrijer's measure, graph rewriting, guarded commands, Multigraphs, nondeterminism, operational semantics, path orderings, rewrite orderings, simply typed lambda calculus, strong normalization, termination.