Raoul Vorc'h

According to our database, Raoul Vorc'h authored at least 3 papers between 1991 and 2009.

Collaborative distances:

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

2009

c-GAMMA: Comparative Genome Analysis of Molecular Markers.

Pierre Peterlongo, Jacques Nicolas, Dominique Lavenier, Raoul Vorc'h, Joël Querellou

Proceedings of the Pattern Recognition in Bioinformatics, 2009

1992

Generalization and Abstraction Using Tableaux-Based Proof Systems.

Raoul Vorc'h

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

1991

Generalization for a Propositional Calculus: A Constraints-Based Approach.

Raoul Vorc'h

Proceedings of the EPIA 91, 1991