dc.creator | Gutiérrez Naranjo, Miguel Ángel | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Riscos Núñez, Agustín | es |
dc.creator | Romero Campero, Francisco José | es |
dc.date.accessioned | 2017-01-30T10:38:53Z | |
dc.date.available | 2017-01-30T10:38:53Z | |
dc.date.issued | 2005 | |
dc.identifier.citation | Gutiérrez Naranjo, M.Á., Pérez Jiménez, M.d.J., Riscos Núñez, A. y Romero Campero, F.J. (2005). Characterizing Tractability with Membrane Creation. En Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005) (448-457), Timisoara, Romania: IEEE Computer Society. | |
dc.identifier.isbn | 0-7695-2453-2 | es |
dc.identifier.uri | http://hdl.handle.net/11441/52968 | |
dc.description.abstract | This paper analyzes the role that membrane dissolution
rules play in order to characterize (in the framework of
recognizer P systems with membrane creation) the tractability of
decision problems that is, the ef cient solvability of problems by
deterministic Turing machines. In this context, the use or not of
these rules provides an interesting borderline between tractability
and (presumable) intractability. | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología TIC2002-04220-C03-01 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | IEEE Computer Society | es |
dc.relation.ispartof | Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005) (2005), p 448-457 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Characterizing Tractability with Membrane Creation | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/acceptedVersion | 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.projectID | TIC2002-04220-C03-01 | es |
dc.relation.publisherversion | http://ieeexplore.ieee.org/document/1595886/ | es |
dc.identifier.doi | 10.1109/SYNASC.2005.24 | es |
dc.contributor.group | Universidad de Sevilla. TIC193 : Computación Natural | es |
idus.format.extent | 8 | es |
dc.publication.initialPage | 448 | es |
dc.publication.endPage | 457 | es |
dc.eventtitle | Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005) | es |
dc.eventinstitution | Timisoara, Romania | es |
dc.relation.publicationplace | USA | es |
dc.contributor.funder | Ministerio de Ciencia y Tecnología (MCYT). España | |