Higher-order recursive path ordering

  1. Jouannaud, J.-P.
  2. Rubio, A.
Revista:
Proceedings - Symposium on Logic in Computer Science

ISBN: 0780357701

Any de publicació: 1999

Pàgines: 402-411

Tipus: Article