Login / Signup
Raoul Vorc'h
Publication Activity (10 Years)
Years Active: 1991-2009
Publications (10 Years): 0
</>
Publications
</>
Pierre Peterlongo
,
Jacques Nicolas
,
Dominique Lavenier
,
Raoul Vorc'h
,
Joël Querellou
c-GAMMA: Comparative Genome Analysis of Molecular Markers.
PRIB
(2009)
Raoul Vorc'h
Generalization and Abstraction Using Tableaux-Based Proof Systems.
TABLEAUX
(1992)
Raoul Vorc'h
Generalization for a Propositional Calculus: A Constraints-Based Approach.
EPIA
(1991)