Using Automated Reasoning Systems on Molecular Computing

Graciani Díaz, Carmen; Pérez Jiménez, Mario de Jesús

doi:10.1007/11493785_11

Capítulo de Libro

dc.creator	Graciani Díaz, Carmen	es
dc.creator	Pérez Jiménez, Mario de Jesús	es
dc.date.accessioned	2017-01-25T11:31:56Z
dc.date.available	2017-01-25T11:31:56Z
dc.date.issued	2005
dc.identifier.citation	Graciani Díaz, C., y Pérez Jiménez, M.d.J. (2005). Using Automated Reasoning Systems on Molecular Computing. En DNA Computing. DNA 2004. Lecture Notes in Computer Science, vol 3384 (pp. 128-137). Berlin: Springer.
dc.identifier.isbn	978-3-540-26174-2	es
dc.identifier.issn	0302-9743	es
dc.identifier.uri	http://hdl.handle.net/11441/52749
dc.description.abstract	This paper is focused on the interplay between automated reasoning systems (as theoretical and formal devices to study the correctness of a program) and DNA computing (as practical devices to handle DNA strands to solve classical hard problems with laboratory techniques). To illustrate this work we have proven in the PVS proof checker, the correctness of a program, in a sticker based model for DNA computation, solving the pairwise disjoint families problem. Also we introduce the formalization of the Floyd–Hoare logic for imperative programs.	es
dc.format	application/pdf	es
dc.language.iso	eng	es
dc.publisher	Springer	es
dc.relation.ispartof	DNA Computing. DNA 2004. Lecture Notes in Computer Science, vol 3384	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.title	Using Automated Reasoning Systems on Molecular Computing	es
dc.type	info:eu-repo/semantics/bookPart	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.publisherversion	http://link.springer.com/chapter/10.1007%2F11493785_11	es
dc.identifier.doi	10.1007/11493785_11	es
dc.contributor.group	Universidad de Sevilla. TIC193 : Computación Natural	es
idus.format.extent	10	es
dc.publication.initialPage	128	es
dc.publication.endPage	137	es
dc.relation.publicationplace	Berlin	es

Ficheros	Tamaño	Formato	Ver	Descripción
chp%3A10.1007%2F11493785_11.pdf	200.0Kb	[PDF]	Ver/Abrir

Este registro aparece en las siguientes colecciones

Mostrar el registro sencillo del ítem

Excepto si se señala otra cosa, la licencia del ítem se describe como: Attribution-NonCommercial-NoDerivatives 4.0 Internacional