![Sequent calculus / Sequent / Symbol / Linear logic / Entailment / Cut-elimination theorem / Interpretation / Rule of inference / Logic programming / Logic / Mathematical logic / Proof theory Sequent calculus / Sequent / Symbol / Linear logic / Entailment / Cut-elimination theorem / Interpretation / Rule of inference / Logic programming / Logic / Mathematical logic / Proof theory](https://www.pdfsearch.io/img/9bd20fccd7021bcf615f025274756366.jpg)
| Document Date: 2012-01-04 16:21:37 Open Document File Size: 355,87 KBShare Result on Facebook
City Dresden / / Country United Kingdom / / / Facility University of Bath / / IndustryTerm obvious algorithm / cut-free sequent systems / formal systems / search space / proof search / / Organization University of Bath / / Person Paola Bruscoli / Alessio Guglielmi One / / Position degenerate head / head / / ProgrammingLanguage C / / ProvinceOrState Oregon / / Technology obvious algorithm / /
SocialTag |