Sign in

On graph rewriting, reduction, and evaluation in the presence of cycles.

Ian Zerny
Published in: High. Order Symb. Comput. (2013)
Keyphrases