Cargando…
Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers
Autor principal: | |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2015
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2761413 |
_version_ | 1780970514160812032 |
---|---|
author | Falaschi, Moreno |
author_facet | Falaschi, Moreno |
author_sort | Falaschi, Moreno |
collection | CERN |
id | cern-2761413 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2015 |
publisher | Springer International Publishing AG |
record_format | invenio |
spelling | cern-27614132021-04-21T16:39:41Zhttp://cds.cern.ch/record/2761413engFalaschi, MorenoLogic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27614132015 |
spellingShingle | XX Falaschi, Moreno Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers |
title | Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers |
title_full | Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers |
title_fullStr | Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers |
title_full_unstemmed | Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers |
title_short | Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers |
title_sort | logic-based program synthesis and transformation: 25th international symposium, lopstr 2015, siena, italy, july 13-15, 2015 revised selected papers |
topic | XX |
url | http://cds.cern.ch/record/2761413 |
work_keys_str_mv | AT falaschimoreno logicbasedprogramsynthesisandtransformation25thinternationalsymposiumlopstr2015sienaitalyjuly13152015revisedselectedpapers |