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. TLCA 2015: 60-75