Sadik Sebbar

Publication Activity (10 Years)

Years Active: 1991-1991
Publications (10 Years): 0

Publications

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