Por motivos de mantenimiento se ha deshabilitado el inicio de sesión temporalmente. Rogamos disculpen las molestias.

Show simple item record

Presentation

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
dcterms.identifierhttps://ror.org/03yxnpp24
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