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: Gheerbrant:Am=eacute=lie
Contributed to:
2013
2009Wrote 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.