Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings

Detalles Bibliográficos
Autores principales: Soares Barbosa, Luís, Baltag, Alexandru
Lenguaje:eng
Publicado: Springer International Publishing AG 2020
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2760754
_version_ 1780970407099105280
author Soares Barbosa, Luís
Baltag, Alexandru
author_facet Soares Barbosa, Luís
Baltag, Alexandru
author_sort Soares Barbosa, Luís
collection CERN
id cern-2760754
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2020
publisher Springer International Publishing AG
record_format invenio
spelling cern-27607542021-04-21T16:39:59Zhttp://cds.cern.ch/record/2760754engSoares Barbosa, LuísBaltag, AlexandruDynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27607542020
spellingShingle XX
Soares Barbosa, Luís
Baltag, Alexandru
Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
title Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
title_full Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
title_fullStr Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
title_full_unstemmed Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
title_short Dynamic logic new trends and applications: second international workshop, DALI 2019, Porto, Portugal, October 7-11, 2019, proceedings
title_sort dynamic logic new trends and applications: second international workshop, dali 2019, porto, portugal, october 7-11, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2760754
work_keys_str_mv AT soaresbarbosaluis dynamiclogicnewtrendsandapplicationssecondinternationalworkshopdali2019portoportugaloctober7112019proceedings
AT baltagalexandru dynamiclogicnewtrendsandapplicationssecondinternationalworkshopdali2019portoportugaloctober7112019proceedings

Ejemplares similares