Travelled to:1 × Canada
1 × Germany
1 × Israel
1 × Italy
Collaborated with:J.Coquidé M.Dauchet ∅ Y.Andre F.Bossut F.Seynhaeve S.Tison M.Tommasi H.Comon F.Jacquemard
Talks about:properti (3) constraint (2) automata (2) rewrit (2) decid (2) encompass (1) quantifi (1) influenc (1) configur (1) satisfi (1)
Person: Anne-Cécile Caron
DBLP: Caron:Anne=C=eacute=cile
Contributed to:
1999
1999
19941993
1991Wrote 5 papers:
- DLT-1999-AndreBC #bound #decidability #on the #query
- On decidability of boundedness property for regular path queries (YA, FB, ACC), pp. 245–256.
- RTA-1999-CaronSTT #quantifier #satisfiability
- Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting (ACC, FS, ST, MT), pp. 103–117.
- ICALP-1994-CaronCCDJ #constraints
- Pumping, Cleaning and Symbolic Constraints Solving (ACC, HC, JLC, MD, FJ), pp. 436–449.
- RTA-1993-CaronCD #automaton #constraints
- Encompassment Properties and Automata with Constraints (ACC, JLC, MD), pp. 328–342.
- CAAP-1991-Caron #automaton #bound #linear #term rewriting
- Linear Bounded Automata and Rewrite Systems: Influence of Initial Configurations on Decision Properties (ACC), pp. 74–89.