Sadik Sebbar
According to our database1,
Sadik Sebbar
authored at least 1 paper
in 1991.
Collaborative distances:
Collaborative distances:
Timeline
1991
0
1
2
1
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