【摘 要】
：
Generally speaking,confluence property is not preserved when Term Rewriting Systems(TRSs)are combined,even if they are canonical.In this paper we give some suf
【机 构】
：
Institute of Software Academia Sinica,Beijing 100080,
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
Generally speaking,confluence property is not preserved when Term Rewriting Systems(TRSs)are combined,even if they are canonical.In this paper we give some sufficient conditions forensuring the confluence property of combined left-linear,overlapping TRSs.
Generally speaking, confluence property is not preserved when Term Rewriting Systems (TRSs) are combined, even if they are canonical.In this paper we give some sufficient conditions forensuring the confluence property of combined left-linear, overlapping TRSs.
其他文献
采访常德市鼎城区公安局桥南派出所所长刘金华是前几天的一个晚上。我们久闻他的大名,早想见见他。他白天又忙不赢,只好约在晚上,没想他仍守在单位“加班”。这晚,我们有幸
有一句话是这样说的：“干部选得准不准，先让群众审一审。”在任前公示制面前，那些素质低下者望而却步，买官卖官没有了市场，长期困扰党委和组织部门的说情风、跑官风受到了抵制，选拔
This paper presents a broad outline and some implementation techniques of the literate programmingsystem CDS.Compared with the previous ones(e.g.WEB,Cweb),CDS
地下金属管道在滨海盐土、盐化潮土及黄潮土等弱度淋溶型土壤中腐蚀严重,10年内即可出现多处穿孔,最大孔蚀速率可达1.5毫米/年。穿孔多少主要与土壤的电阻率、含盐量和含氯量
本文在SPT-Ⅱ型光导热塑全息片研制的基础上,采用多层层积光导层的方法,以亚层结构产生一定功能分离的作用,强化记录介质的光电导性能,增大全息记录时的电荷反差,从而较大辐
电子守恒指：氧化剂得电子总数=还原剂失电子总数，电子守恒的内容很容易被理解，但是在应用上不容易被掌握。电子守恒是解决氧化还原计算的金钥匙，但是很多学生并不能很好将此规律应用到平时的计算过程中。下面，笔者将从一道模拟题入手，对电子守恒在氧化还原计算中的应用做详细阐述。 一、题目引入及问题剖析 例1 （2016年临沂市高考模拟）在含有0.078 mol FeSO4的溶液中，通入0.009 mol
Effect of rare earth (La3+) on the electrodeposition of silver from 5, 5-dimethyl hydantoin solutions was investigated using linear sweep voltammetry, scanning
学生核心素养培养框架的出台,是基于国际发展形势扭变应试教育,由育分模式转变为全面育人模式。培养学生在学习中掌握科学的学习方法,具备了较强的自学能力,将来才能独立地探
1977 年生于北京，满族。北京服装学院造型艺术系副教授、硕士研究生导师，国际美学协会会员、中国女画家协会会员、北京工笔重彩画会会员。 主要展览： 2015年，“裸眼空间女性艺术展”（北京，圆领部落美术馆）； “初心·黄欢作品展”（南京，六尘艺术馆）； “疏途·2015北京服装学院造型艺术系教师作品展”（北京，北京服装学院美术馆）； “花开六尘·中国当代女艺术家邀请展”（南京，六尘艺术馆
百年大计,教育为本。教育大计,教师为本。好的教师队伍,是好的教育的必要前提条件。因此,加强教师队伍建设,维护好教师的合法培训权利,才能更好地激发教师教育促人的积极性,