Jimmy Thomson
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A correct polynomial translation of S4 into intuitionistic logic Journal of Symbolic Logic | 2020-04-06 | Paper |
| A history-based theorem prover for intuitionistic propositional logic using global caching: IntHistGC system description Automated Reasoning | 2014-09-26 | Paper |
| Implementing tableau calculi using BDDs: BDDTab system description Automated Reasoning | 2014-09-26 | Paper |
| An improved BDD method for intuitionistic propositional logic: BDDIntKt system description Automated Deduction – CADE-24 | 2013-06-14 | Paper |
| BDD-based automated reasoning for propositional bi-intuitionistic tense logics Automated Reasoning | 2012-09-05 | Paper |
Research outcomes over time
This page was built for person: Jimmy Thomson
