CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
Albert Atserias, Anuj Dawar, Joanna Ochremiak
Publicado en:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, Página(s) 1-13, ISBN 978-1-7281-3608-0
Editor:
IEEE
DOI:
10.1109/lics.2019.8785792
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles