Régis Curien

According to our database, Régis Curien authored at least 5 papers between 1993 and 1996.

Collaborative distances:

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

1996

Efficient Second-Order Matching.

Régis Curien, Zhenyu Qian, Hui Shi

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Classification-Based Problem-Solving in Case-Based Reasoning.

Amedeo Napoli, Jean Lieber, Régis Curien

Proceedings of the Advances in Case-Based Reasoning, Third European Workshop, 1996

1995

Outils pour la preuve par analogie. (Tools for proof by analogy).

Régis Curien

PhD thesis, 1995

Efficient Second-Order AC-Matching Algorithm.

Régis Curien, Zhenyu Qian

Proceedings of the 9th International Workshop on Unification, 1995

1993

Second Order E-Matching as a Tool for Automated Theorem Proving.

Régis Curien

Proceedings of the Progress in Artificial Intelligence, 1993