Marc Bagnol

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