Reducció de l'equivalència inicial visible a teoremes inductius

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/97228

Title:	Reducció de l'equivalència inicial visible a teoremes inductius
Author:	Palasí Lallana, Vicent Ramon
Abstract:	We 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.
Subject(s):	-Àrees temàtiques de la UPC::Informàtica::Programació -Algebraic specification -Inductive theorems
Rights:
Document type:	Article - Published version Report
Share: