文章免费访问 在上共享 经典算术的证据语义 作者: 蒂埃里·科昆 查看个人资料 作者信息和声明 符号逻辑杂志第60卷第1版1995年3月第325–337页https://doi.org/10.2307/2275524出版:1995年3月1日出版历史 符号逻辑杂志第60卷第1期 上一个第条下一步第条 摘要没有可用的摘要。 引用人查看全部 索引术语 经典算术的证据语义计算理论逻辑 建议 经典通信与量子隐形传态的非经典保真度 在量子隐形传态中,纠缠的作用已被广泛讨论。众所周知,纠缠是实现非经典隐形传态保真度所必需的。在这里,我们重点关注获得……所需的经典通信量。。。阅读更多信息经典量子语言的形式语义集锦 具有操作语义和指称语义的经典量子命令语言。摘要我们研究了一种既有经典结构又有量子结构的简单命令式语言的形式语义。更具体地说,我们提供了一个操作语义、一个指称语义和两个Hoare-style证明系统:一个。。。阅读更多信息改进的量子三值运算 库特里(或三元)结构在许多量子系统中自然出现,特别是在某些非阿贝尔任意子系统中。我们提出了三值可逆和量子算法的有效电路。我们的主要结果是推导了两个。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此文章 问询处贡献者发布于 符号逻辑杂志 第60卷第1期1995年3月337页国际标准编号:0022-4812编辑:彼得·阿策尔英国曼彻斯特曼彻斯特大学,威尔弗里德·布霍尔茨德国慕尼黑慕尼黑大学,Sy D.弗里德曼剑桥麻省理工学院,朱莉娅·奈特印第安纳州圣母大学,斯特芬·伦普威斯康星大学麦迪逊分校,安德烈·塞德洛夫宾夕法尼亚大学,费城,Lou van den Dries公司伊利诺伊大学乌尔班纳分校,阿尔伯特·维瑟荷兰乌得勒支乌得勒支特大学期刊目录 赞助商合作中出版商符号逻辑协会。美国 出版历史 出版:1995年3月1日 限定符文章会议资金来源 其他指标查看文章指标文献计量学引文28文章指标28引文总数查看引文0总下载次数下载量(最近12个月)0下载次数(最近6周)0其他指标查看作者指标引用人查看全部数字版以数字版本查看这篇文章。查看数字版数字其他共享此出版物链接https://dl.acm.org/doi/10.2307/2275524复制链接在社交媒体上分享 在上共享 0工具书类