Paul Jacquet

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1991

3 Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar: Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA 1991: 53-61

1988

2 Paul Jacquet: Program Synthesis by Completion with Dependent Subtypes. CADE 1988: 550-562

1986

1 Paul Jacquet, Marie-Laure Potet: Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). ECAI 1986: 345-356

	1991
3		Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar: Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA 1991: 53-61
	1988
2		Paul Jacquet: Program Synthesis by Completion with Dependent Subtypes. CADE 1988: 550-562
	1986
1		Paul Jacquet, Marie-Laure Potet: Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). ECAI 1986: 345-356

Coauthor Index

1 Rachid Echahed [3]

2 Marie-Laure Potet [1] [3]

3 Sadik Sebbar [3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page