A Realizability Approach to Complexity Theory

Información del proyecto

ReACT

Identificador del acuerdo de subvención: 659920

DOI

10.3030/659920

Proyecto cerrado

Fecha de la firma de la CE 4 Marzo 2015

Fecha de inicio 1 Noviembre 2015

Fecha de finalización 27 Marzo 2018

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 212 194,80

Aportación de la UE

€ 212 194,80

Coordinado por

KOBENHAVNS UNIVERSITET
Denmark

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

Conference proceedings (3)

Unary Resolution: Characterizing Ptime

Autores: Clément Aubert, Marc Bagnol, Thomas Seiller
Publicado en: Foundations of Software Science and Computation Structures. FoSSaCS 2016. Lecture Notes in Computer Science, vol 9634, 2016, Página(s) 373-389
Editor: Springer Berlin Heidelberg
DOI: 10.1007/978-3-662-49630-5_22

Interaction Graphs - Full Linear Logic

Autores: Thomas Seiller
Publicado en: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16, 2016, Página(s) 427-436, ISBN 9781-450343916
Editor: ACM Press
DOI: 10.1145/2933575.2934568

Loop Quasi-Invariant Chunk Detection

Autores: Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller
Publicado en: Automated Technology for Verification and Analysis. ATVA 2017. Lecture Notes in Computer Science, vol 10482, 2017, Página(s) 91-108
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-68167-2_7

Peer reviewed articles (1)

Loop Quasi-Invariant Chunk Motion by peeling with statement composition

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: Open Publishing Association
DOI: 10.4204/EPTCS.248.9

Other (3)

Interaction Graphs: Non-deterministic automata

Autores: Seiller, Thomas
Publicado en: ACM Transactions in Computational Logic, 2018
Editor: ACM

From Dynamic to Static Semantics, Quantitatively

Autores: Seiller, Thomas
Publicado en: 2016
Editor: ArXiv

Towards a Complexity-through-Realisability Theory

Autores: Seiller, Thomas
Publicado en: 2015
Editor: ArXiv