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 × Canada
1 × Hungary
1 × Japan
2 × USA
Collaborated with:
B.Martin C.Carvalho H.Chen
Talks about:
logic (3) without (2) complex (2) posit (2) order (2) first (2) equal (2) tetrachotomi (1) constraint (1) forbidden (1)

Person: Florent R. Madelaine

DBLP DBLP: Madelaine:Florent_R=

Contributed to:

LICS 20152015
LICS 20112011
LICS 20092009
LICS 20082008
CSL 20062006

Wrote 5 papers:

LICS-2015-CarvalhoMM #algebra #complexity
From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP (CC, FRM, BM), pp. 462–474.
LICS-2011-MadelaineM #first-order #logic #similarity
A Tetrachotomy for Positive First-Order Logic without Equality (FRM, BM), pp. 311–320.
LICS-2009-MadelaineM #complexity #first-order #logic #similarity
The Complexity of Positive First-order Logic without Equality (FRM, BM), pp. 429–438.
LICS-2008-ChenMM #constraints #problem #quantifier
Quantified Constraints and Containment Problems (HC, FRM, BM), pp. 317–328.
CSL-2006-Madelaine #logic
Universal Structures and the Logic of Forbidden Patterns (FRM), pp. 471–485.

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.