DMCA

Canonical sequent proofs via multifocusing (2008)

by Kaustuv Chaudhuri , Dale Miller , Alexis Saurin
Venue:Fifth IFIP International Conference on Theoretical Computer Science, volume 273 of IFIP International Federation for Information Processing
Citations:27 - 11 self