多模式下的反合一算法

微信服务号

微信订阅号

首页 > 过刊浏览>2000年第11卷第1期 >91-94

多模式下的反合一算法
DOI:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

Anti-Unification Algorithm Based on Multi-Pattern

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

证明了多模式环境下存在最小反合一,提出了一种反合一算法,并介绍了多模式下反合一的应用.

Abstract:

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.

参考文献

相似文献

引证文献

引用本文

许锡春,胡运发,施伯乐.多模式下的反合一算法.软件学报,2000,11(1):91-94

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:1998-09-25
最后修改日期:1999-02-01
录用日期:
在线发布日期:
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码