Travelled to:1 × Canada
1 × Israel
1 × Italy
Collaborated with:M.Dauchet A.Caron R.Gilleron S.Vágvölgyi H.Comon F.Jacquemard
Talks about:constraint (2) automata (2) encompass (1) pushdown (1) properti (1) system (1) symbol (1) rewrit (1) bottom (1) clean (1)
Person: Jean-Luc Coquidé
DBLP: Coquid=eacute=:Jean=Luc
Contributed to:
1994
19931991Wrote 3 papers:
- 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.
- RTA-1991-CoquideDGV #automaton #bottom-up #term rewriting
- Bottom-Up Tree Pushdown Automata and Rewrite Systems (JLC, MD, RG, SV), pp. 287–298.