Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings

Detalles Bibliográficos
Autores principales: Artemov, Sergei, Nerode, Anil
Lenguaje:eng
Publicado: Springer International Publishing AG 2017
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761446
_version_ 1780970524282716160
author Artemov, Sergei
Nerode, Anil
author_facet Artemov, Sergei
Nerode, Anil
author_sort Artemov, Sergei
collection CERN
id cern-2761446
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2017
publisher Springer International Publishing AG
record_format invenio
spelling cern-27614462021-04-21T16:39:39Zhttp://cds.cern.ch/record/2761446engArtemov, SergeiNerode, AnilLogical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27614462017
spellingShingle XX
Artemov, Sergei
Nerode, Anil
Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings
title Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings
title_full Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings
title_fullStr Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings
title_full_unstemmed Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings
title_short Logical foundations of computer science: international symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, proceedings
title_sort logical foundations of computer science: international symposium, lfcs 2018, deerfield beach, fl, usa, january 8-11, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2761446
work_keys_str_mv AT artemovsergei logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2018deerfieldbeachflusajanuary8112018proceedings
AT nerodeanil logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2018deerfieldbeachflusajanuary8112018proceedings

Ejemplares similares