Jean-Luc Coquidé

According to our database, Jean-Luc Coquidé authored at least 8 papers between 1989 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Automata for Reduction Properties Solving.

Max Dauchet, Anne-Cécile Caron, Jean-Luc Coquidé

J. Symb. Comput., 1995

1994

Bottom-Up Tree Pushdown Automata: Classification and Connection with Rewrite Systems.

Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi

Theor. Comput. Sci., 1994

Decidability of Reachability for Disjoint Union of Term Rewriting Systems.

Anne-Cécile Caron, Jean-Luc Coquidé

Theor. Comput. Sci., 1994

Pumping, Cleaning and Symbolic Constraints Solving.

Anne-Cécile Caron, Hubert Comon, Jean-Luc Coquidé, Max Dauchet, Florent Jacquemard

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993

Encompassment Properties and Automata with Constraints.

Anne-Cécile Caron, Jean-Luc Coquidé, Max Dauchet

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1991

Bottom-Up Tree Pushdown Automata and Rewrite Systems.

Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi

Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990

Proofs and Reachablity Problem for Ground Rewrite Systems.

Jean-Luc Coquidé, Rémi Gilleron

Proceedings of the Aspects and Prospects of Theoretical Computer Science, 1990

1989

About Connections Between Syntactical and Computational Complexity.

Jean-Luc Coquidé, Max Dauchet, Sophie Tison

Proceedings of the Fundamentals of Computation Theory, 1989