Jimmy Thomson

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 1

Top Topics

Linearly Ordered

Automated Reasoning

Prime Implicants

Top Venues

Publications

Rajeev Goré, Jimmy Thomson
A Correct Polynomial Translation of S4 into intuitionistic Logic. J. Symb. Log. 84 (2) (2019)
Rajeev Goré, Jimmy Thomson, Jesse Wu
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description. IJCAR (2014)
Rajeev Goré, Kerry Olesen, Jimmy Thomson
Implementing Tableau Calculi Using BDDs: BDDTab System Description. IJCAR (2014)
Rajeev Goré, Jimmy Thomson
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description. CADE (2013)
Rajeev Goré, Jimmy Thomson
BDD-based automated reasoning in propositional non-classical logics: progress report. PAAR@IJCAR (2012)
Rajeev Goré, Jimmy Thomson
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics. IJCAR (2012)
Rajeev Goré, Jimmy Thomson, Florian Widmann
An Experimental Comparison of Theorem Provers for CTL. TIME (2011)