dblp.uni-trier.dewww.uni-trier.de

Paul Jacquet Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - 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
2EEPaul 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

1Rachid Echahed [3]
2Marie-Laure Potet [1] [3]
3Sadik Sebbar [3]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)