Mostra el registre d'ítem simple

SMT-Based Methods for Difference Logic Invariant Generation

dc.contributorOliveras Llunell, Albert
dc.contributorRodríguez Carbonell, Enric
dc.contributorLarrosa Bondia, Francisco Javier
dc.contributor.authorCandeago, Lorenzo
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2015-05-25T07:26:09Z
dc.date.issued2015-04-24
dc.identifier.urihttp://hdl.handle.net/2099.1/26062
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya
dc.subjectÀrees temàtiques de la UPC::Matemàtiques i estadística::Lògica matemàtica
dc.subject.lcshFirst-order logic
dc.subject.otherInvariant
dc.subject.otherlògica de diferències
dc.subject.othersatisfactibilitat mòdul teories
dc.subject.otherInvariant
dc.subject.otherdifference logic
dc.subject.othersatisfiability modulo theories
dc.titleSMT-Based Methods for Difference Logic Invariant Generation
dc.typeMaster thesis
dc.subject.lemacLògica de primer ordre
dc.identifier.slug104533
dc.rights.accessRestricted access - confidentiality agreement
dc.date.lift10000-01-01
dc.date.updated2015-05-07T07:31:41Z
dc.audience.educationlevelMàster
dc.audience.mediatorFacultat d'Informàtica de Barcelona
dc.audience.degreeMÀSTER UNIVERSITARI EN INTEL·LIGÈNCIA ARTIFICIAL (Pla 2012)


Fitxers d'aquest items

Imatge en miniatura
Nom:
104533.pdf
Mida:
885,9Kb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple