A Clausal Approach to Proof Analysis in Second-Order Logic - Sciweavers

38

click to vote

more LFCS 2009 ...

www.logic.at

Tweet