dc.creator | Ipate, Florentin | es |
dc.creator | Dragomir, Ciprian | es |
dc.creator | Lefticaru, Raluca | es |
dc.creator | Mierla, Laurentiu | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2018-10-22T09:31:56Z | |
dc.date.available | 2018-10-22T09:31:56Z | |
dc.date.issued | 2012 | |
dc.identifier.citation | Ipate, F., Dragomir, C., Lefticaru, R., Mierla, L. y Pérez Jiménez, M.d.J. (2012). Using A Kernel P System to Solve The 3-Col Problem. En CMC13: 13th International Conference on Membrane Computing, (243-258), Budapest, Hungary: MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences. | |
dc.identifier.uri | https://hdl.handle.net/11441/79574 | |
dc.description.abstract | The newly introduced Kernel P systems offer an unitary and
elegant way of integrating established features of existing P system variants
with new elements with potential value for formal modelling. This
paper presents a case study illustrating the expressive power and efficiency
of kernel P systems on the 3-Col problem. The use of model
checking (in particular of Spin) for formal verification of kernel P systems
is also discussed and illustrated in this case. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN2009–13192 | es |
dc.description.sponsorship | Junta de Andalucía P08–TIC–04200 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | MTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Sciences | es |
dc.relation.ispartof | CMC13: 13th International Conference on Membrane Computing, (2012), p 243-258 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Using A Kernel P System to Solve The 3-Col Problem | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | 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 | TIN2009–13192 | es |
dc.relation.projectID | P08–TIC–04200 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 16 | es |
dc.publication.initialPage | 243 | es |
dc.publication.endPage | 258 | es |
dc.eventtitle | CMC13: 13th International Conference on Membrane Computing, | es |
dc.eventinstitution | Budapest, Hungary | es |
dc.relation.publicationplace | Budapest | es |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |
dc.contributor.funder | Junta de Andalucía | |