Paul Jacquet
According to our database1,
Paul Jacquet
authored at least 4 papers
between 1978 and 1991.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1991
Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation.
Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991
1988
Proceedings of the 9th International Conference on Automated Deduction, 1988
1986
Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis).
Proceedings of the Advances in Artificial Intelligence II, 1986
1978
Les Types génériques : propositions pour un mécanisme d'abstraction dans les langages de programmation.
PhD thesis, 1978