Show simple item record

dc.contributor.authorPalasí Lallana, Vicent Ramon
dc.identifier.citationPalasi, V. "Reducció de l'equivalència inicial visible a teoremes inductius". 1996.
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.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
dc.description.versionPostprint (published version)
upcommons.citation.authorPalasi, V.

Files in this item


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