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
_version_ 1780919935285854208
author Florido, Mário
Mackie, Ian
author_facet Florido, Mário
Mackie, Ian
author_sort Florido, Mário
collection CERN
description 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.
id cern-1256353
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2010
record_format invenio
spelling cern-12563532021-04-25T17:15:38Zhttp://cds.cern.ch/record/1256353engFlorido, MárioMackie, Ian1st International Workshop on LinearityComputing and ComputersThis 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.arXiv:1003.5716oai:cds.cern.ch:12563532010
spellingShingle Computing and Computers
Florido, Mário
Mackie, Ian
1st International Workshop on Linearity
title 1st International Workshop on Linearity
title_full 1st International Workshop on Linearity
title_fullStr 1st International Workshop on Linearity
title_full_unstemmed 1st International Workshop on Linearity
title_short 1st International Workshop on Linearity
title_sort 1st international workshop on linearity
topic Computing and Computers
url http://cds.cern.ch/record/1256353
work_keys_str_mv AT floridomario 1stinternationalworkshoponlinearity
AT mackieian 1stinternationalworkshoponlinearity

Ejemplares similares