![Mathematics / Sequent calculus / Sequent / Cut-elimination theorem / Admissible rule / Natural deduction / Mathematical logic / Proof theory / Logic Mathematics / Sequent calculus / Sequent / Cut-elimination theorem / Admissible rule / Natural deduction / Mathematical logic / Proof theory / Logic](https://www.pdfsearch.io/img/2562f9a122f05b2b522e0340f5b83879.jpg)
| Document Date: 2001-07-23 13:40:10 Open Document File Size: 91,62 KBShare Result on Facebook
Company CNF / / IndustryTerm optimization algorithms / / OperatingSystem Sequent / / Organization Universitat Pompeu Fabra / / Person Angel Gil Universitat Pompeu Fabra Gernot / / Position MUltlog Sequent Editor / / ProgrammingLanguage LATEX / / Technology Ascii / optimization algorithms / Java / /
SocialTag |