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

Collaborated with:
M.P.Bonacina N.Shankar
Talks about:
satisfi (1) theori (1) modulo (1) assign (1)

Person: Stéphane Graham-Lengrand

DBLP DBLP: Graham-Lengrand:St=eacute=phane

Contributed to:

CADE 20172017

Wrote 1 papers:

CADE-2017-BonacinaGS #modulo theories #satisfiability
Satisfiability Modulo Theories and Assignments (MPB, SGL, NS), pp. 42–59.

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.