[IEEE Comput. Soc. Press Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95) - Dallas, TX, USA (9-11 Aug. 1995)] Proceedings Nineteenth Annual International Computer Software and Applications Conference (COMPSAC'95) - Mechanical synthesis of a unification algorithm in PowerEpsilon
Ming-Yuan Zhu,, Xiao-Bai Mo,Year:
1995
Language:
english
DOI:
10.1109/cmpsac.1995.524758
File:
PDF, 498 KB
english, 1995