Reports de recerca
Enviaments recents
-
Especificació dels tipus abstractes de dades fitxer per valor i fitxer seqüencial per valor
(1995-10)
Report de recerca
Accés obertThis is a work that deals with the equational specification as adt of direct- by-value files.