`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: Madelaine:Florent_R=

### Contributed to:

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