Login / Signup

The Termination Hierarchy for Term Rewriting.

Hans Zantema
Published in: Appl. Algebra Eng. Commun. Comput. (2001)
Keyphrases