Mohamed Adi

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Mohamed Adi, Claude Kirchner
AC-Unification Race: The System Solving Approach, Implementation and Benchmarks. J. Symb. Comput. 14 (1) (1992)
Mohamed Adi, Claude Kirchner
AC-Unification Race: The System Solving Approach And Its Implementation. DISCO (1990)