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 × Portugal
1 × USA
Collaborated with:
B.t.Cate L.Libkin C.Sirangelo
Talks about:
interpol (1) possibl (1) languag (1) tempor (1) linear (1) evalu (1) craig (1) when (1) naiv (1)

Person: Amélie Gheerbrant

DBLP DBLP: Gheerbrant:Am=eacute=lie

Contributed to:

PODS 20132013
CSL 20092009

Wrote 2 papers:

PODS-2013-GheerbrantLS #evaluation #question
When is naive evaluation possible? (AG, LL, CS), pp. 75–86.
CSL-2009-GheerbrantC #linear
Craig Interpolation for Linear Temporal Languages (AG, BtC), pp. 287–301.

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.