%0 Journal Article
%T Anti-Unification Algorithm Based on Multi-Pattern<br>多模式下的反合一算法
%A XU Xi-chun
%A HU Yun-fa
%A SHI Bai-le
%A <br>许锡春
%A 胡运发
%A 施伯乐
%J 软件学报
%D 2000
%I 
%X In this paper, the existence of the least anti-unification in multi-pattern is proved and an algorithm for the anti-unification is proposed. In addition, the application of the anti-unification in multi-pattern is also introduced.
%K Unification
%K anti-unification
%K multi-pattern
%K algorithm
%K similarity<br>合一
%K 反合一
%K 多模式
%K 算法
%K 相似.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=560A2CF03196A09F&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=CA4FD0336C81A37A&sid=C753EB8AC8F551B9&eid=BB0EA31DB1B01173&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7