Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/91168
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor.author | Jouannaud, J P |
dc.contributor.author | Rubio Gimeno, Alberto |
dc.date | 1998-12 |
dc.identifier.citation | Jouannaud, J., Rubio, A. "Higher-order recursive path orderings". 1998. |
dc.identifier.uri | http://hdl.handle.net/2117/91168 |
dc.language.iso | eng |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject | Higher order rewriting |
dc.subject | Typed lambda calculus |
dc.subject | Gödel polymorphic recursor |
dc.subject | Termination orderings |
dc.title | Higher-order recursive path orderings |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/report |
dc.description.abstract |