Sadik Sebbar

According to our database, Sadik Sebbar authored at least 1 paper in 1991.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1991

Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation.

Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991