Mostrar el registro sencillo del ítem
Capítulo de Libro
Generation of Diophantine Sets by Computing P Systems with External Output
dc.creator | Romero Jiménez, Álvaro | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2016-09-13T10:32:30Z | |
dc.date.available | 2016-09-13T10:32:30Z | |
dc.date.issued | 2002 | |
dc.identifier.isbn | 978-3-540-44311-7 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | http://hdl.handle.net/11441/44948 | |
dc.description.abstract | In this paper a variant of P systems with external output designed to compute functions on natural numbers is presented. These P systems are stable under composition and iteration of functions. We prove that every diophantine set can be generated by such P systems; then, the universality of this model can be deduced from the theorem by Matiyasevich, Robinson, Davis and Putnam in which they establish that every recursively enumerable set is a diophantine set. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | Unconventional Models of Computation. Lecture Notes in Computer Science, v.2509 | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Generation of Diophantine Sets by Computing P Systems with External Output | es |
dc.type | info:eu-repo/semantics/bookPart | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007%2F3-540-45833-6_15 | es |
dc.identifier.doi | 10.1007/3-540-45833-6_15 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | |
idus.format.extent | 15 | es |
dc.publication.initialPage | 176 | es |
dc.publication.endPage | 190 | es |
dc.relation.publicationplace | Berlin | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/44948 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
gdscpseo.pdf | 238.9Kb | [PDF] | Ver/ | |