Uniform Circuits, & Boolean Proof Nets.

Virgile Mogbil, Vincent Rahli

Browse the full LFCS paper archive.