Equivalence Problems for Circuits over Sets of Natural Numbers

Christian Glaßer, Katrin Herr, Christian Reitwießner, Stephen D. Travers, Matthias Waldherr. Equivalence Problems for Circuits over Sets of Natural Numbers. Theory Comput. Syst., 46(1):80-103, 2010. [doi]

Abstract

Abstract is missing.