1st International Workshop on Linearity

This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual Conference on Computer Science Logic.

Detalles Bibliográficos
Autores principales: Florido, Mário, Mackie, Ian
Lenguaje:eng
Publicado: 2010
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/1256353
Descripción
Sumario:This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual Conference on Computer Science Logic.

Ejemplares similares