Show simple item record

dc.creatorIpate, Florentines
dc.creatorDragomir, Ciprianes
dc.creatorLefticaru, Ralucaes
dc.creatorMierla, Laurentiues
dc.creatorPérez Jiménez, Mario de Jesúses
dc.date.accessioned2018-10-22T09:31:56Z
dc.date.available2018-10-22T09:31:56Z
dc.date.issued2012
dc.identifier.citationIpate, 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.urihttps://hdl.handle.net/11441/79574
dc.description.abstractThe 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.sponsorshipMinisterio de Ciencia e Innovación TIN2009–13192es
dc.description.sponsorshipJunta de Andalucía P08–TIC–04200es
dc.formatapplication/pdfes
dc.language.isoenges
dc.publisherMTA SZTAKI, the Computer and Automation Research Institute of the Hungarian Academy of Scienceses
dc.relation.ispartofCMC13: 13th International Conference on Membrane Computing, (2012), p 243-258
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.titleUsing A Kernel P System to Solve The 3-Col Problemes
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificiales
dc.relation.projectIDTIN2009–13192es
dc.relation.projectIDP08–TIC–04200es
dc.contributor.groupUniversidad de Sevilla. TIC193: Computación Naturales
idus.format.extent16es
dc.publication.initialPage243es
dc.publication.endPage258es
dc.eventtitleCMC13: 13th International Conference on Membrane Computing,es
dc.eventinstitutionBudapest, Hungaryes
dc.relation.publicationplaceBudapestes
dc.contributor.funderMinisterio de Ciencia e Innovación (MICIN). España
dc.contributor.funderJunta de Andalucía

FilesSizeFormatViewDescription
using-kernel.pdf635.7KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional