BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × USA
1 × United Kingdom
Collaborated with:
R.Goré K.Olesen J.Wu
Talks about:
bdd (4) intuitionist (3) proposit (3) descript (3) system (3) logic (3) base (2) use (2) int (2) implement (1)

Person: Jimmy Thomson

DBLP DBLP: Thomson:Jimmy

Contributed to:

IJCAR 20142014
CADE 20132013
IJCAR 20122012

Wrote 4 papers:

IJCAR-2014-GoreOT #calculus #implementation #using
Implementing Tableau Calculi Using BDDs: BDDTab System Description (RG, KO, JT), pp. 337–343.
IJCAR-2014-GoreTW #logic #proving #theorem proving #using
A History-Based Theorem Prover for Intuitionistic Propositional Logic Using Global Caching: IntHistGC System Description (RG, JT, JW), pp. 262–268.
CADE-2013-GoreT #logic
An Improved BDD Method for Intuitionistic Propositional Logic: BDDIntKt System Description (RG, JT), pp. 275–281.
IJCAR-2012-GoreT #automation #logic #reasoning
BDD-Based Automated Reasoning for Propositional Bi-Intuitionistic Tense Logics (RG, JT), pp. 301–315.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.