1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 1 cited
MALL proof equivalence is Logspace-complete, via binary decision diagrams
Marc Bagnol
Proof equivalence in a logic is the problem of deciding whether two proofs are equivalent modulo a set of permutation of rules that reflects the commutative conversions of its cut-…
cs.LO2014
Logic Programming and Logarithmic Space
Clément Aubert, Marc Bagnol, Paolo Pistone +1
We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterizat…