Recent Submissions

• 

  Especificació dels tipus abstractes de dades fitxer per valor i fitxer seqüencial per valor 

  Sistac Planas, Jaume; Alier Forment, Marc (1995-10)
  Research report
  Open Access

  This is a work that deals with the equational specification as adt of direct- by-value files.