Showing 1 - 2 results of 2 for search 'Marc Bagnol', query time: 0.02s
Refine Results
-
1
Multiplicative-Additive Proof Equivalence is Logspace-complete, via Binary Decision Trees by Marc Bagnol
Published 2017-11-01
Article -
2
Unification and Logarithmic Space by Clément Aubert, Marc Bagnol
Published 2018-07-01
Article