Cargando…

Logic-based program synthesis and transformation: 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 revised selected papers

Detalles Bibliográficos
Autor principal: Falaschi, Moreno
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
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