MALL proof equivalence is Logspace-complete, via binary decision diagrams.

Thu, 01 Jan 2015 00:00:00 +0100

Marc Bagnol:
MALL proof equivalence is Logspace-complete, via binary decision diagrams. CoRR abs/1502.01993 (2015)