Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers

Detalles Bibliográficos
Autores principales: Proietti, Maurizio, Seki, Hirohisa
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761315
_version_ 1780970492771958784
author Proietti, Maurizio
Seki, Hirohisa
author_facet Proietti, Maurizio
Seki, Hirohisa
author_sort Proietti, Maurizio
collection CERN
id cern-2761315
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27613152021-04-21T16:39:45Zhttp://cds.cern.ch/record/2761315engProietti, MaurizioSeki, HirohisaLogic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27613152015
spellingShingle XX
Proietti, Maurizio
Seki, Hirohisa
Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers
title Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers
title_full Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers
title_fullStr Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers
title_full_unstemmed Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers
title_short Logic-based program synthesis and transformation: 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 revised selected papers
title_sort logic-based program synthesis and transformation: 24th international symposium, lopstr 2014, canterbury, uk, september 9-11, 2014 revised selected papers
topic XX
url http://cds.cern.ch/record/2761315
work_keys_str_mv AT proiettimaurizio logicbasedprogramsynthesisandtransformation24thinternationalsymposiumlopstr2014canterburyukseptember9112014revisedselectedpapers
AT sekihirohisa logicbasedprogramsynthesisandtransformation24thinternationalsymposiumlopstr2014canterburyukseptember9112014revisedselectedpapers

Ejemplares similares