Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

Strategies in Conditional Narrowing Modulo SMT Plus Axioms

Simple item page
dc.contributor.authorAguirre Garcia, Luis Manuel
dc.contributor.authorMartí Oliet, Narciso
dc.contributor.authorPalomino Tarjuelo, Miguel
dc.contributor.authorPita Andreu, María Isabel
dc.date.accessioned2023-06-16T15:10:13Z
dc.date.available2023-06-16T15:10:13Z
dc.date.issued2021-11-05
dc.description.abstractNarrowing calculus that uses strategies to solve reachability problems in order-sorted rewrite theories whose underlying equational logic is composed of SMT theories plus some combination of associativity, commutativity, and identity. Both the strategies and the rewrite rules are allowed to be parameterized, i.e., they may have a set of common constants that are given a value as part of the solution of a problem. The soundness and weak completeness of the calculus are proved.
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedFALSE
dc.description.sponsorshipMinisterio de Ciencia e Innovación (MICINN)
dc.description.sponsorshipComunidad de Madrid/FEDER
dc.description.statusunpub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/68621
dc.identifier.relatedurlhttp://maude.ucm.es/cnarrowing
dc.identifier.urihttps://hdl.handle.net/20.500.14352/5848
dc.language.isoeng
dc.relation.projectIDTRACES (TIN2015-67522-C3-3-R); ProCode (PID2019-108528RBC22)
dc.relation.projectIDBLOQUES-CM (S2018/TCS-4339)
dc.rightsAtribución 3.0 España
dc.rights.accessRightsopen access
dc.rights.urihttps://creativecommons.org/licenses/by/3.0/es/
dc.subject.keywordNarrowing
dc.subject.keywordStrategies
dc.subject.keywordReachability
dc.subject.keywordRewriting logic
dc.subject.keywordSMT
dc.subject.keywordUnification
dc.subject.ucmLenguajes de programación
dc.subject.ucmSoftware
dc.subject.unesco1203.23 Lenguajes de Programación
dc.subject.unesco3304.16 Diseño Lógico
dc.titleStrategies in Conditional Narrowing Modulo SMT Plus Axioms
dc.title.alternativeEstrategias en Estrechamiento Condicional Módulo SMT más Axiomas
dc.typetechnical report
dspace.entity.typePublication
relation.isAuthorOfPublicatione8d4e85a-2a43-444c-84e7-1fa5f392c50d
relation.isAuthorOfPublication52909b00-b705-4307-84db-d3211eedef69
relation.isAuthorOfPublication2b1ba9f6-5d94-4dd4-abdf-ea8b929cf009
relation.isAuthorOfPublication.latestForDiscoverye8d4e85a-2a43-444c-84e7-1fa5f392c50d

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
Strategies_in_Conditional_narrowing_modulo_SMT_plus_B_TR.pdf
Size:
1.14 MB
Format:
Adobe Portable Document Format
downoload Download

Collections

Documentos de trabajo e informes técnicos