Cargando…

Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers

Detalles Bibliográficos
Autores principales: Fioravanti, Fabio, Gallagher, John P
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2763986
_version_ 1780971030354853888
author Fioravanti, Fabio
Gallagher, John P
author_facet Fioravanti, Fabio
Gallagher, John P
author_sort Fioravanti, Fabio
collection CERN
id cern-2763986
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27639862021-04-21T16:38:20Zhttp://cds.cern.ch/record/2763986engFioravanti, FabioGallagher, John PLogic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27639862018
spellingShingle XX
Fioravanti, Fabio
Gallagher, John P
Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
title Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
title_full Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
title_fullStr Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
title_full_unstemmed Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
title_short Logic-based program synthesis and transformation: 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, revised selected papers
title_sort logic-based program synthesis and transformation: 27th international symposium, lopstr 2017, namur, belgium, october 10-12, 2017, revised selected papers
topic XX
url http://cds.cern.ch/record/2763986
work_keys_str_mv AT fioravantifabio logicbasedprogramsynthesisandtransformation27thinternationalsymposiumlopstr2017namurbelgiumoctober10122017revisedselectedpapers
AT gallagherjohnp logicbasedprogramsynthesisandtransformation27thinternationalsymposiumlopstr2017namurbelgiumoctober10122017revisedselectedpapers