Marc Bagnol

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 12

Top Venues

CoRR

FoSSaCS

Log. Methods Comput. Sci.

MFPS

Aix-Marseille University, Aix-en-Provence, France (PHD)

Education History

Aix-Marseille University, Aix-en-Provence, France

PHD

Publications

Clément Aubert, Marc Bagnol
Unification and Logarithmic Space. CoRR (2018)
Clément Aubert, Marc Bagnol
Unification and Logarithmic Space. Log. Methods Comput. Sci. 14 (3) (2018)
Marc Bagnol, Denis Kuperberg
Büchi Good-for-Games Automata Are Efficiently Recognizable. FSTTCS (2018)
Marc Bagnol
Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees. CoRR (2017)
Marc Bagnol
Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees. Log. Methods Comput. Sci. 13 (4) (2017)
Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay
The Shuffle Quasimonad and Modules with Differentiation and Integration. MFPS (2016)
Clément Aubert, Marc Bagnol, Thomas Seiller
Unary Resolution: Characterizing Ptime. FoSSaCS (2016)
Marc Bagnol
MALL proof equivalence is Logspace-complete, via binary decision diagrams. CoRR (2015)
Marc Bagnol
MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams. TLCA (2015)
Clément Aubert, Marc Bagnol, Thomas Seiller
Memoization for Unary Logic Programming: Characterizing PTIME. CoRR (2015)
Marc Bagnol
Representation of Partial Traces. MFPS (2015)
Marc Bagnol, Amina Doumane, Alexis Saurin
On the Dependencies of Logical Rules. FoSSaCS (2015)
Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller
Logic Programming and Logarithmic Space. CoRR (2014)
Clément Aubert, Marc Bagnol
Unification and Logarithmic Space. CoRR (2014)
Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller
Logic Programming and Logarithmic Space. APLAS (2014)
Marc Bagnol, Amina Doumane, Alexis Saurin
Analyse de dépendances et correction des réseaux de preuve. JFLA (2014)
Clément Aubert, Marc Bagnol
Unification and Logarithmic Space. RTA-TLCA (2014)

Marc Bagnol.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marc Bagnol