An Algebra of Quantum Programs with the Kleene Star Operator

An Algebra of Quantum Programs with the Kleene Star Operator
复制标题

Kleene Star 算子的量子程序代数

DOI:
--
复制
发表时间:
2022
期刊:
CEUR Workshop Proceedings
影响因子:
--
通讯作者:
Tsubasa Takagi
Tsubasa Takagi
中科院分区:
--
文献类型:
--
作者:
段野下 宙志;長谷川 寛;樋口 翔;松田 広志;川崎 卓郎;Stefanus Harjo;梅澤 修;Tsubasa Takagi;Tsubasa Takagi

文献摘要

参考文献

相似文献

动态代数:示例、构造、应用
DOI: 10.1007/bf00370685
发表时间: 1991
期刊: Studia Logica
影响因子: 0.7
作者:
V. Pratt
通讯作者: V. Pratt
量子逻辑中的条件
DOI: 10.1007/bf00484952
发表时间: 1974
期刊: Synthese
影响因子: 1.5
作者:
Gary M. Hardegree
通讯作者: Gary M. Hardegree
正交模格中的蕴涵连接词
DOI: 10.1305/ndjfl/1093891789
发表时间: 1975
期刊: Notre Dame J. Formal Log.
影响因子: --
作者:
L. Herman;E. Marsden;R. Piziak
通讯作者: R. Piziak
DOI: 10.1016/0097-3165(71)90040-9
发表时间: 1971
期刊: J. Comb. Theory A
影响因子: --
作者:
D. Foulis;C. H. Randall
通讯作者: C. H. Randall
DOI: 10.1007/s10773-013-1987-3
发表时间: 2014-10-01
影响因子: 1.4
作者:
Baltag, Alexandru;Bergfeld, Jort;Zhong, Shengyang
通讯作者: Zhong, Shengyang