To access the full text documents, please follow this link: http://hdl.handle.net/2117/108281
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Verborgh, Ruben |
dc.contributor.author | Arndt, Dorthe |
dc.contributor.author | Van Hoecke, Sofie |
dc.contributor.author | De Roo, Jos |
dc.contributor.author | Mels, Giovanni |
dc.contributor.author | Steiner, Thomas |
dc.contributor.author | Gabarró Vallès, Joaquim |
dc.date | 2017-01-01 |
dc.identifier.citation | Verborgh, R., Arndt, D., Van Hoecke, S., De Roo, J., Mels, G., Steiner, T., Gabarro, J. The pragmatic proof: hypermedia API composition and execution. "Theory and practice of logic programming", 1 Gener 2017, vol. 17, núm. 1, p. 1-48. |
dc.identifier.citation | 1471-0684 |
dc.identifier.citation | 10.1017/S1471068416000016 |
dc.identifier.uri | http://hdl.handle.net/2117/108281 |
dc.language.iso | eng |
dc.relation | https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/div-classtitlethe-pragmatic-proof-hypermedia-api-composition-and-executiondiv/2FC57145E86E9A102E075092E3703EEE |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject | composition |
dc.subject | proof |
dc.subject | reasoning |
dc.subject | Semantic Web |
dc.subject | hypermedia APIs |
dc.subject | Web APIs |
dc.title | The pragmatic proof: hypermedia API composition and execution |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |
dc.description.abstract | |
dc.description.abstract |