Reducció de l'equivalència inicial visible a teoremes inductius
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/97228
Tipus de documentReport de recerca
Data publicació1996-06
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióPalasi, V. "Reducció de l'equivalència inicial visible a teoremes inductius". 1996.
Forma partLSI-96-39-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400226287.pdf | 1,647Mb | Visualitza/Obre |