文章免费访问 在上共享 动态(类LISP)结构的抽象解释格 作者: 简·斯特兰斯基 查看个人资料 作者信息和声明 信息与计算第101卷第1版1992年11月第70-102页https://doi.org/10.1016/0890-5401(92)90076-R出版:1992年11月1日出版历史 信息与计算第101卷第1期 上一个第条下一步第条 摘要没有可用的摘要。 引用人查看全部 索引术语 动态(类LISP)结构的抽象解释格计算数学离散数学软件及其工程软件符号和工具通用编程语言语言特点数据类型和结构语言类型软件组织和属性软件功能属性正确性计算理论逻辑证明理论语义和推理程序语义操作语义 建议 作为双重剩余结构的格伪效应代数进化模糊系统专题 伪效应代数是效应代数的非交换推广的部分代数结构。本文的主要结果是用所谓的伪Sasaki代数刻画了格伪效应代数。在…中。。。阅读更多信息格伪效应代数的半环表示 为了表示格伪效应代数,格效应代数的一个非交换推广,根据近半环的一个特殊子类,本文引入了近伪效应半环的概念。。。阅读更多信息弱QMV代数和一些环形结构 在这项工作中,我们提出了一种新的量子结构——弱量子MV代数(wQMV代数),并定义了耦合双单子体和强耦合双单元体。我们发现,耦合双单子体和强耦合双单元体都是与之对应的环状结构。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此文章 问询处贡献者发布于 信息与计算 第101卷第1期1992年11月129页国际标准编号:0890-5401编辑:阿尔伯特·梅耶剑桥麻省理工学院期刊目录 赞助商合作中出版商学术出版社。美国 出版历史 出版:1992年11月1日 限定符文章会议资金来源 其他指标查看文章指标文献计量学引文14文章指标14引文总数查看引文0总下载次数下载量(最近12个月)0下载次数(最近6周)0其他指标查看作者指标引用人查看全部数字版以数字版本查看这篇文章。查看数字版数字其他共享此出版物链接https://dl.acm.org/doi/10.1016/0890-5401(92)90076-R复制链接在社交媒体上分享 在上共享 0参考文献