Login / Signup

Higher-Order Orderings for Normal Rewriting.

Jean-Pierre JouannaudAlbert Rubio
Published in: RTA (2006)
Keyphrases