Automatic inductive equational reasoning

Thumbnail
View/Open
Tutor / directorRubio Gimeno, AlbertoMés informacióMés informació
Document typeMaster thesis
Date2018-06
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
SubjectsFunctional programming (Computer science), Automatic theorem proving, Programació funcional (Informàtica), Teoremes -- Demostració automàtica
DegreeMÀSTER UNIVERSITARI EN INNOVACIÓ I RECERCA EN INFORMÀTICA (Pla 2012)
URIhttp://hdl.handle.net/2117/120914
Collections

FilesDescriptionSizeFormatView
134218.pdf1,137MbPDFView/Open