Travelled to:1 × Finland
1 × France
1 × South Africa
Collaborated with:∅ B.Boigelot
Talks about:polyhedra (1) presburg (1) automata (1) without (1) formula (1) diagram (1) repres (1) number (1) enumer (1) convex (1)
Person: Louis Latour
DBLP: Latour:Louis
Contributed to:
2005
20042001Wrote 3 papers:
- CIAA-2005-Latour #diagrams #set
- Computing Affine Hulls over Q and Z from Sets Represented by Number Decision Diagrams (LL), pp. 213–224.
- LICS-2004-Latour #automaton #integer
- From Automata to Formulas: Convex Integer Polyhedra (LL), pp. 120–129.
- CIAA-2001-BoigelotL #equation
- Counting the Solutions of Presburger Equations without Enumerating Them (BB, LL), pp. 40–51.