Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/85100
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.contributor.author | Blanqui, Frédéric |
dc.contributor.author | Jouannaud, Jean Pierre |
dc.contributor.author | Rubio Gimeno, Alberto |
dc.date | 2015-10-26 |
dc.identifier.citation | Blanqui, F., Jouannaud, J., Rubio, A. The computability path ordering. "Logical methods in computer science", 26 Octubre 2015, vol. 11, núm. 4, Paper 3, p. 1-45. |
dc.identifier.citation | 1860-5974 |
dc.identifier.citation | 10.2168/LMCS-11(4:3)2015 |
dc.identifier.uri | http://hdl.handle.net/2117/85100 |
dc.language.iso | eng |
dc.relation | http://www.lmcs-online.org/ojs/viewarticle.php?id=1575 |
dc.relation | info:eu-repo/grantAgreement/ES/1PE/TIN2013-45732-C4-3-P |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-sa/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Recursive functions |
dc.subject | Termination |
dc.subject | Path order |
dc.subject | Rewriting |
dc.subject | Lambda-calculus |
dc.subject | Red ucibility |
dc.subject | Inductive types |
dc.subject | Funcions recursives |
dc.title | The computability path ordering |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |