Sadik Sebbar

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1991

1 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

	1991
1		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

Coauthor Index