Travelled to:1 × Denmark
1 × Hungary
1 × USA
2 × France
Collaborated with:N.Creignou E.Grandjean A.Durand ∅ J.Schmidt R.Ktari A.Meier J.Müller H.Vollmer
Talks about:enumer (2) nondeterminist (1) parameter (1) character (1) function (1) descript (1) conjunct (1) problem (1) languag (1) decreas (1)
Person: Frédéric Olive
DBLP: Olive:Fr=eacute=d=eacute=ric
Contributed to:
2015
2012
201120061997Wrote 5 papers:
- LATA-2015-CreignouKMMOV #problem
- Parameterized Enumeration for Modification Problems (NC, RK, AM, JSM, FO, HV), pp. 524–536.
- CSL-2012-GrandjeanO #complexity
- Descriptive complexity for pictures languages (EG, FO), pp. 274–288.
- SAT-2011-CreignouOS #csp
- Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight (NC, FO, JS), pp. 120–133.
- CSL-2006-DurandO #first-order #query
- First-Order Queries over One Unary Function (AD, FO), pp. 334–348.
- CSL-1997-Olive #linear #logic #nondeterminism
- A Conjunctive Logical Characterization of Nondeterministic Linear Time (FO), pp. 360–372.