• 不 限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
  2. 您的位置
  3. 首页
  4. 期刊论文
  5. Program generic set:semantics of medium logic program described by forcing

Program generic set:semantics of medium logic program described by forcing

来源 :中国科学：技术科学英文版 | 被引量 : 0次 | 上传用户：flexhansen
【摘 要】
：
The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and
【作 者】
：
朱朝晖 施庆生 朱梧槚 
【机 构】
：
InstituteofComputerScience,NanjingUniversityofAeronauticsandAstronautics,Nanjing210016,China,Departm
【出 处】
：
中国科学：技术科学英文版
【发表日期】
：
1996年6期
【关键词】
：
medium LOGIC PROGRAM SEMANTICS non-CWA PROGRAM GENERIC set. medium logic program 
【基金项目】
：
Project supported by the High Technology Research and Development Program of China. the Key Project of Fundamental Research. Climbing Project.
下载到本地 , 更方便阅读
下载此文 赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and complete-meet semilattice property ofprogram generic set is proved.
其他文献
Experimental study on separation of valuable refractory aggregate from investment casting ceramic sh
In the present study, a processing technique for recycling investment casting ceramic shell waste was proposed to separate valuable refractory aggregate zircon
期刊
investmentcastingceramicshellwastezirconsandmagneticseparationgravitys
A new preparation technology of structural- gradient materials without a brittle transition zone in
期刊
Interpolation mechanism of fuzzy control
当一些插值工作，目前通常使用的模糊控制算法都被考虑，它在到要适合的分离反应函数的本质等价物。这意味着那个模糊控制方法类似于在数学物理的有限元素方法，它在控制系统是一种
期刊
FUZZYcontrolFUZZYINFERENCEBASEFUNCTIONSINTERPOLATIONfunctions.fuzzy cont
Development of Zr/ZrO<sub>2</sub> high temperature and high pressure sensors for in-situ
In order to in situ measure chemical parameters of deep-sea water and hydrothermal fluids at midocean ridge(MOR), it is necessary to use high temperature and hi
期刊
Zr/ZrO2sensorMELToxidationmethodHIGHtemperatureandHIGHpressureCHEMICAL
Semisolid slurry of 7A04 aluminum alloy prepared by electromagnetic stirring and Sc, Zr additions
泥浆准备是为扔的半固体的最关键的步之一，并且它的主要目标是与一致地分布式的好水珠准备泥浆。在这个工作，电磁激动人心(他们) 并且 Sc 和 Zr 元素的增加被用来在一个大直径
期刊
铝合金Zr和Sc增加半固体泥浆电磁激动人心(他们)同质TG146.21Aaluminum alloy Zr and Sc additions
Microstructure and mechanical properties of a compound reinforced Mg95Y2.5Zn2.5 alloy with long peri
Mg <sub>100-2x </sub 的微观结构进化 > Y <sub> x </sub > Zn <sub> x </sub>(x=2， 2.5， 3， 3.5 ) 合金被调查。结果表演 Mg <sub>100-2x </sub > Y <sub> x </sub > Zn <s
期刊
镁合金Mg<sub>95</sub>Y<sub>2.5</sub>Zn<sub>2.
Inference systems for observation equivalences in the π-calculus
Inference systems for observation equivalences in the pi-calculus with recursion are proposed, and their completeness over the finite-control fragment with guar
期刊
INFERENCESYSTEMEQUIVALENCEπ-calculus.inference systemequivalenceπ-calculus
Laminated all-solid state NiO/WO<sub>3</sub> complementary electrochromic device
Based on the previous studies on the rf reactive sputtered nickel oxide film with nanostructure and its electrochromism, i. e. electrochromic effect of the film
期刊
SmartWindowsALL-SOLID-STATEelectrochromicdevicenickelOXIDETHINfilmstung
Quantitative evaluation of die casting surface defect severity by analyzing surface height
估计铸造物的表面缺点的严厉在工厂里是必要的，当当它不带坏效果时，一个细微表面缺点将作为合格被拿或它能被随后的处理移开。在实际生产，职业技术员视觉上根据他们的单个经验检
期刊
死扔表面缺点表面粗糙TP391.99一die casting surface defect surface roughness
Electromechanical coupling of 2-2 piezo-composite material
A dynamic mode) for 2-2 piezo-composite material was developed,in which the acoustic plane waves propagating along the interface were solved and their dispersio
期刊
PIEZOELECTRICMATERIALULTRASONICTRANSDUCERMEDICALULTRASONICTRANSDUCERcompo