切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于FS—Domain的Plotkin幂—Domain
关于FS—Domain的Plotkin幂—Domain
来源 :数学年刊:A辑 | 被引量 : 0次 | 上传用户:eddiew
【摘 要】
:
本文证明了FS-Domain关于Plotkin幂-Domain构造是封闭的。
【作 者】
:
梁基华
【机 构】
:
四川大学数学学院
【出 处】
:
数学年刊:A辑
【发表日期】
:
2000年6期
【关键词】
:
FS-Domain
Plotkin幂-Domain
有限隔离映射
程序设计语言
指称语义学
【基金项目】
:
国家自然科学基金!(No.19831040),教育部数学研究中心资助的项目
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文证明了FS-Domain关于Plotkin幂-Domain构造是封闭的。
其他文献
行政拘留与刑事拘留有哪些区别?
<正> 行政拘留,是公安机关根据《中华人民共和国治安管理处罚条例》的规定,对于那些违反治安管理者所采取的一种行政处罚手段。凡尚未达到触犯刑法的程度,但又超过了罚款或批
期刊
处罚手段
强制措施
犯罪嫌疑
刑事诉讼法
加重处罚
社会危害程度
批评教育
防止犯罪
二十四小时
第四十一
血清C反应蛋白在肝硬化腹水合并感染中的临床意义
目的探讨血清C反应蛋白(CRP)在肝硬化腹水合并感染中的临床意义。方法检测106例肝硬化患者CRP、WBC和GR百分率(GR%),计算合并感染和继发感染者各指标的阳性率。结果合并感染组和继
期刊
肝硬化
腹水
感染
C反应蛋白
Liver cirrhosis Ascites Infection C reactive protein
现代护理学中的整体护理
随着护理实践的发展,教育水平的提高,护理研究的开展以及护理理论的提出,护理已从附属于医疗的技术性职业转变为较独立的为人类健康服务的专业.
期刊
现代护理学
整体护理
护理实践
护理理论
护理研究
医疗
人类健康
专业
教育水平
转变
其他学术论文