节点文献

关于Herbrand基上的语义映射

SEMANTIC MAPPINGS ON HERBRAND BASES

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 应明生；

【Author】 $$$$YING Mingsheng ( Department of Mathematics，Jiangxi Normal University, Nanchang 330027)

【机构】 江西师范大学数学系；

【摘要】 关于Ｈｅｒｂｒａｎｄ基上的语义映射应明生（江西师范大学数学系南昌３３００２７）ＳＥＭＡＮＴＩＣＭＡＰＰＩＮＧＳＯＮＨＥＲＢＲＡＮＤＢＡＳＥＳ￥ＹＩＮＧＭｉｎｇｓｈｅｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＪｉａｎｇｘｉＮｏｒｍａｌＵｎｉ...

【关键词】 语义映射； Herbrand； 江西师范大学； 陆汝钤； 不动点； 形式语义； 抽象数据类型； 递增性； 初始模型； 操作语义；
【基金】 国家自然科学基金,国家863高科技基金
  • 【文献出处】 计算机学报 ,Chinese Journal of Computers , 编辑部邮箱 ,1997年02期
  • 【分类号】TP18
  • 【下载频次】58
打印本页
节点文献中：