Jimmy Thomson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2011–2014
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CADE | Implementing Tableau Calculi Using BDDs: BDDTab System Description. | Rajeev Gor, Kerry Olesen, Jimmy Thomson |
| 2014 | CADE | A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. | Rajeev Gor, Jimmy Thomson, Jesse Wu |
| 2013 | CADE | An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. | Rajeev Gor, Jimmy Thomson |
| 2012 | CADE | BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. | Rajeev Gor, Jimmy Thomson |
| 2012 | CADE | BDD-based automated reasoning in propositional non-classical logics: progress report. | Rajeev Gor, Jimmy Thomson |
| 2011 | TIME | An Experimental Comparison of Theorem Provers for CTL. | Rajeev Gor, Jimmy Thomson, Florian Widmann |