论文部分内容阅读
本文介绍和提出用于解决发散问题的各种基于保守扩充技术的方法。我们特别地用实例证明了这几种新方法可以对带AC算子的重写系统进行归纳完备化。
重写系统中解决发散现象的扩充技术
【摘 要】
：
本文介绍和提出用于解决发散问题的各种基于保守扩充技术的方法。我们特别地用实例证明了这几种新方法可以对带AC算子的重写系统进行归纳完备化。
【机 构】
：
华东理工大学计算机科学与工程系,上海 200237上海交通大学计算机科学与工程系,上海 200030;
【出 处】
：
计算机应用与软件
【发表日期】
：
2000年03期
其他文献
当前的债转股只有通过合理的市场配置,才能让资源被合理分配,而市场配置的过程就是给相关标的找到价格,并按照这个价格完成交易的过程。同时,遵循市场化的价格机制,由当事人
1997年7月～2002年7月我科共使用术后经静脉患者自控镇痛(patient controlled vein analgesia,PCVA)2 016例,其中致精神症状21例,现报告如下.
1临床资料病人,男性,61岁,因反复咳嗽,气喘20年余,于2003-11-16入院,胸部CT示双肺多发性囊性改变并模糊影,诊断双肺支气管扩张并感染,既往无癫癎及精神病史.入院后给予抗感染
[编者按]如何在单向网络中开展增值业务，是很多有线运营商实现整转之后面临的现实问题，作为内蒙古广播电视信息网络有限公司的合作伙伴，中广网科公司在数据广播业务方面进行了诸多探索，他们的市场实践对数字电视增值业务的发展有积极的借鉴意义。 为什么叫好不叫座？ 目前全国各地有线电视运营商开展的数据信息广播业务，总体上来说处于叫好不叫座的状态，特别是采用浏览器产生的负面效应，造成数据信息广播业务
2000年1月～2002年10月我院对 25例危重病患者不能有效咳嗽排痰采用了经口咽通气管内吸痰法,达到了满意的吸痰效果,现将吸痰方法及护理报告如下.
AIM: To study the safety and efficacy of hepatitis A vaccine (HAV) in children with chronic liver disease of various etiologies. METHODS: Eleven children with c
小羊们,羊村里有一个百宝箱。不过我老了,不记得密码了,只记得几条线索。你们能根据这几条线索找出密码吗?快来帮我想想吧!
Lambs, sheep village has a treasure chest. Bu
我院自1998年以来,手术病人留置尿管均在全麻后病人无意识的状态下进行.观察到全麻后病人存在因留置尿管刺激而引起一系列反应,为消除或减轻术后因留置尿管而致的刺激症状,对