Jean-Luc Coquidé

Publication Activity (10 Years)

Years Active: 1989-1995
Publications (10 Years): 0

Publications

Max Dauchet, Anne-Cécile Caron, Jean-Luc Coquidé
Automata for Reduction Properties Solving. J. Symb. Comput. 20 (2) (1995)
Anne-Cécile Caron, Hubert Comon, Jean-Luc Coquidé, Max Dauchet, Florent Jacquemard
Pumping, Cleaning and Symbolic Constraints Solving. ICALP (1994)
Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi
Bottom-Up Tree Pushdown Automata: Classification and Connection with Rewrite Systems. Theor. Comput. Sci. 127 (1) (1994)
Anne-Cécile Caron, Jean-Luc Coquidé
Decidability of Reachability for Disjoint Union of Term Rewriting Systems. Theor. Comput. Sci. 126 (1) (1994)
Anne-Cécile Caron, Jean-Luc Coquidé, Max Dauchet
Encompassment Properties and Automata with Constraints. RTA (1993)
Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi
Bottom-Up Tree Pushdown Automata and Rewrite Systems. RTA (1991)
Jean-Luc Coquidé, Rémi Gilleron
Proofs and Reachablity Problem for Ground Rewrite Systems. IMYCS (1990)
Jean-Luc Coquidé, Max Dauchet, Sophie Tison
About Connections Between Syntactical and Computational Complexity. FCT (1989)