Show simple item record

dc.contributor.authorPalasí Lallana, Vicent Ramon
dc.date.accessioned2016-11-25T10:28:48Z
dc.date.available2016-11-25T10:28:48Z
dc.date.issued1996-06
dc.identifier.citationPalasi, V. "Reducció de l'equivalència inicial visible a teoremes inductius". 1996.
dc.identifier.urihttp://hdl.handle.net/2117/97228
dc.description.abstractWe prove that checking of the initial visible equivalence between two visible algebraic specification can be reduced to the proof of several inductive theorems on a given initial algebra.
dc.format.extent17 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-96-39-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Programació
dc.subject.otherAlgebraic specification
dc.subject.otherInductive theorems
dc.titleReducció de l'equivalència inicial visible a teoremes inductius
dc.typeExternal research report
dc.rights.accessOpen Access
drac.iddocument1904638
dc.description.versionPostprint (published version)
upcommons.citation.authorPalasi, V.
upcommons.citation.publishedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

    Show simple item record

    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