Xiao-Bai Mo

Publication Activity (10 Years)

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

Publications

Ming-Yuan Zhu, Xiao-Bai Mo
Mechanical synthesis of a unification algorithm in PowerEpsilon. COMPSAC (1995)