Jean-Luc Coquidé

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1995
Automata for Reduction Properties Solving.
J. Symb. Comput., 1995

1994
Bottom-Up Tree Pushdown Automata: Classification and Connection with Rewrite Systems.
Theor. Comput. Sci., 1994

Decidability of Reachability for Disjoint Union of Term Rewriting Systems.
Theor. Comput. Sci., 1994

Pumping, Cleaning and Symbolic Constraints Solving.
Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993
Encompassment Properties and Automata with Constraints.
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1991
Bottom-Up Tree Pushdown Automata and Rewrite Systems.
Proceedings of the Rewriting Techniques and Applications, 4th International Conference, 1991

1990
Proofs and Reachablity Problem for Ground Rewrite Systems.
Proceedings of the Aspects and Prospects of Theoretical Computer Science, 1990

1989
About Connections Between Syntactical and Computational Complexity.
Proceedings of the Fundamentals of Computation Theory, 1989


  Loading...