Raoul Vorc'h
According to our database1,
Raoul Vorc'h
authored at least 3 papers
between 1991 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Proceedings of the Pattern Recognition in Bioinformatics, 2009
1992
Generalization and Abstraction Using Tableaux-Based Proof Systems.
Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992
1991
Proceedings of the EPIA 91, 1991