Higher-order recursive path ordering
- Jouannaud, J.-P.
- Rubio, A.
Aldizkaria:
Proceedings - Symposium on Logic in Computer Science
ISBN: 0780357701
Argitalpen urtea: 1999
Orrialdeak: 402-411
Mota: Artikulua