BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
Collaborated with:
R.Goré J.Thomson
Talks about:
intuitionist (1) proposit (1) descript (1) theorem (1) histori (1) system (1) prover (1) global (1) logic (1) hist (1)

Person: Jesse Wu

DBLP DBLP: Wu:Jesse

Contributed to:

IJCAR 20142014

Wrote 1 papers:

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.
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.