Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers

Detalles Bibliográficos
Autores principales: Mesnard, Fred, Stuckey, Peter J
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755702
_version_ 1780969694961860608
author Mesnard, Fred
Stuckey, Peter J
author_facet Mesnard, Fred
Stuckey, Peter J
author_sort Mesnard, Fred
collection CERN
id cern-2755702
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27557022021-04-21T16:42:12Zhttp://cds.cern.ch/record/2755702engMesnard, FredStuckey, Peter JLogic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papersXXSpringer International Publishing AGoai:cds.cern.ch:27557022019
spellingShingle XX
Mesnard, Fred
Stuckey, Peter J
Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers
title Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers
title_full Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers
title_fullStr Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers
title_full_unstemmed Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers
title_short Logic-based program synthesis and transformation: 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, revised selected papers
title_sort logic-based program synthesis and transformation: 28th international symposium, lopstr 2018, frankfurt/main, germany, september 4-6, 2018, revised selected papers
topic XX
url http://cds.cern.ch/record/2755702
work_keys_str_mv AT mesnardfred logicbasedprogramsynthesisandtransformation28thinternationalsymposiumlopstr2018frankfurtmaingermanyseptember462018revisedselectedpapers
AT stuckeypeterj logicbasedprogramsynthesisandtransformation28thinternationalsymposiumlopstr2018frankfurtmaingermanyseptember462018revisedselectedpapers

Ejemplares similares