Raoul Vorc'h

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992

2 Raoul Vorc'h: Generalization and Abstraction Using Tableaux-Based Proof Systems. TABLEAUX 1992: 79-81

1991

1 Raoul Vorc'h: Generalization for a Propositional Calculus: A Constraints-Based Approach. EPIA 1991: 264-277

1992
2		Raoul Vorc'h: Generalization and Abstraction Using Tableaux-Based Proof Systems. TABLEAUX 1992: 79-81
1991
1		Raoul Vorc'h: Generalization for a Propositional Calculus: A Constraints-Based Approach. EPIA 1991: 264-277