To access the full text documents, please follow this link: http://hdl.handle.net/2117/79284
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 | Jouannaud, Jean Pierre |
dc.contributor.author | Rubio Gimeno, Alberto |
dc.date | 2015-03-01 |
dc.identifier.citation | Jouannaud, J., Rubio, A. Normal higher-order termination. "ACM transactions on computational logic", 01 Març 2015, vol. 16, núm. 2, p. 13:1-13:38. |
dc.identifier.citation | 1529-3785 |
dc.identifier.citation | 10.1145/2699913 |
dc.identifier.uri | http://hdl.handle.net/2117/79284 |
dc.language.iso | eng |
dc.relation | http://dl.acm.org/citation.cfm?doid=2737801.2699913 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
dc.subject | Computer logic |
dc.subject | Higher-order orderings |
dc.subject | Higher-order patterns |
dc.subject | Higher-order rewriting |
dc.subject | Typed lambda calculus |
dc.subject | Lògica informàtica |
dc.title | Normal higher-order termination |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |