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

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/97228

Título:	Reducció de l'equivalència inicial visible a teoremes inductius
Autor/a:	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.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Programació -Algebraic specification -Inductive theorems
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Coordinación

Patrocinio