On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.

Serge Autexier

Browse the full TABLEAUX paper archive.