Marc Bagnol

According to our database, Marc Bagnol authored at least 12 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Unification and Logarithmic Space.

Clément Aubert, Marc Bagnol

Log. Methods Comput. Sci., 2018

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

Marc Bagnol, Denis Kuperberg

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

2017

Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees.

Marc Bagnol

Log. Methods Comput. Sci., 2017

2016

The Shuffle Quasimonad and Modules with Differentiation and Integration.

Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Unary Resolution: Characterizing Ptime.

Clément Aubert, Marc Bagnol, Thomas Seiller

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2015

Representation of Partial Traces.

Marc Bagnol

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Memoization for Unary Logic Programming: Characterizing PTIME.

Clément Aubert, Marc Bagnol, Thomas Seiller

CoRR, 2015

MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams.

Marc Bagnol

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

On the Dependencies of Logical Rules.

Marc Bagnol, Amina Doumane, Alexis Saurin

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

On the Resolution Semiring. (Sur le Semi-anneau de Résolution).

Marc Bagnol

PhD thesis, 2014

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

Marc Bagnol, Amina Doumane, Alexis Saurin

Proceedings of the 25. Journées francophones des langages applicatifs, 2014

Logic Programming and Logarithmic Space.

Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014