首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  免费   1篇
  国内免费   1篇
数学   2篇
  1997年   1篇
  1994年   1篇
排序方式: 共有2条查询结果,搜索用时 46 毫秒
1
1.
黄且圆  王驹 《中国科学A辑》1994,37(11):1203-1207
进一步研究了unity逻辑中,程序性质的两个基本概念unless和ensure的代数性质。试图通过代数语义,将unity逻辑与计算。特别是与计算机的计算联系起来。  相似文献   
2.
线性逻辑相空间的分层结构   总被引:1,自引:0,他引:1  
黄且圆  王驹 《数学学报》1997,40(1):1-008
本文研究了相空间的代数结构,定义了多层相空间,给出了一个相空间的最小子空间的性质.并据此讨论了线性重言式的某些特点.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号