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:
Jean-Yves Moyen
Jakob Grue Simonsen
Publicado en:
Developments in Implicit Computational Complexity, DICE'16, 2016
Editor:
Damiano Mazza
Autores:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Publicado en:
International Symposium on Automated Technology for Verification and Analysis ATVA 2017, 2017, Página(s) 91-108
Editor:
Springer International Publishing
DOI:
10.1007/978-3-319-68167-2_7
Autores:
Jean-Yves Moyen, Jakob Grue Simonsen
Publicado en:
Electronic Proceedings in Theoretical Computer Science, Edición 248, 2017, Página(s) 38-46, ISSN 2075-2180
Editor:
Guillaume Bonfante and Georg Möser
DOI:
10.4204/EPTCS.248.8
Autores:
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Publicado en:
Electronic Proceedings in Theoretical Computer Science, Edición 248, 2017, Página(s) 47-59, ISSN 2075-2180
Editor:
Guillaume Bonfante and Georg Möser
DOI:
10.4204/EPTCS.248.9
Autores:
Jean-Yves Moyen
Publicado en:
2017
Editor:
University of Copenhagen
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles