Raoul Vorc'h
According to our database1,
Raoul Vorc'h
authored at least 3 papers
between 1991 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
1992
1994
1996
1998
2000
2002
2004
2006
2008
0
1
2
1
1
1
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