Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

5 Results
Author: personID (integer) : 932230

Unary Resolution: Characterizing Ptime.

Clément Aubert , Marc Bagnol , Thomas Seiller
Foundations of Software Science and Computation Structures (FOSSACS), Apr 2016, Eindhoven, Netherlands. pp.373-389, ⟨10.1007/978-3-662-49630-5_22⟩
Conference papers hal-01321239v1

On the dependencies of logical rules

Marc Bagnol , Amina Doumane , Alexis Saurin
FOSSACS, 18th International Conference on Foundations of Software Science and Computation Structures, Apr 2015, London, United Kingdom
Conference papers hal-01110340v1

Analyse de dépendances et correction des réseaux de preuve

Marc Bagnol , Amina Doumane , Alexis Saurin
JFLA 2014 - Vingt-cinquièmes Journées Francophones des Langages Applicatifs, Jan 2014, Fréjus, France
Conference papers hal-01110338v1
Image document

Synchronous Machines: a Traced Category

Marc Bagnol , Guatto Adrien
[Research Report] 2012
Reports hal-00748010v3
Image document

Büchi Good-for-Games Automata Are Efficiently Recognizable

Marc Bagnol , Denis Kuperberg
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018), Dec 2018, Ahmedabad, India. pp.16, ⟨10.4230/LIPIcs.FSTTCS.2018.16⟩
Conference papers hal-01910632v1