-
Towards a Theory of Proofs of Classical Logic
The questions <EM>"What is a proof?"</EM> and <EM>"When are two proofs the same?"</EM> are fundamental for proof theory. But for the most... -
Parameterized and Exact Computation7th International Symposium, IPEC 2012, Lj...
International audience
