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 × 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 DBLP: Caron:Anne=C=eacute=cile

Contributed to:

DLT 19991999
RTA 19991999
ICALP 19941994
RTA 19931993
TAPSOFT, Vol.1: CAAP 19911991

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

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.