BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Olive:Fr=eacute=d=eacute=ric

Contributed to:

LATA 20152015
CSL 20122012
SAT 20112011
CSL 20062006
CSL 19971997

Wrote 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.

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.