BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
C.E.Brown C.Kaliszyk G.Sutcliffe J.Urban
Talks about:
challeng (1) unifi (1) grung (1) grand (1) atp (1)

Person: Thibault Gauthier

DBLP DBLP: Gauthier:Thibault

Contributed to:

CADE 20192019

Wrote 1 papers:

CADE-2019-BrownGKSU #challenge #named
GRUNGE: A Grand Unified ATP Challenge (CEB, TG, CK, GS, JU), pp. 123–141.

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.