ADC method of proof search for intuitionistic propositional natural deduction.
Saved in:
| Title: | ADC method of proof search for intuitionistic propositional natural deduction. |
|---|---|
| Authors: | MINTS, G.1, gmints@stanford.edu, STEINERT-THRELKELD, SH.1, shanest@stanford.edu |
| Source: | Journal of Logic & Computation; Feb2016, Vol. 26 Issue 1, p395-408, 14p |
| Database: | Applied Science & Technology Source |
| ISSN: | 0955792X |
|---|---|
| DOI: | 10.1093/logcom/ext032 |
