Login / Signup

Proof of termination of the rewriting system subst on CCL.

Thérèse HardinAlain Laville
Published in: Theor. Comput. Sci. (1986)
Keyphrases