![Mathematics / Natural deduction / Noncommutative logic / Cut-elimination theorem / Sequent calculus / Linear logic / Sequent / Rule of inference / Function / Logic / Mathematical logic / Proof theory Mathematics / Natural deduction / Noncommutative logic / Cut-elimination theorem / Sequent calculus / Linear logic / Sequent / Rule of inference / Function / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/afa7899c78c3f103d7994dd45f97ac0a.jpg)
| Document Date: 2007-12-18 10:38:31 Open Document File Size: 216,22 KBShare Result on Facebook
Company System BV / / / IndustryTerm given systems / proof-search perspective / logical systems / formal systems / lazy splitting algorithm / sequential operator / proof search / sub-systems / / Person Alessio Guglielmi / Lutz Straßburger Technische Universit / / Technology lazy splitting algorithm / /
SocialTag |