×

找到21个文档(结果1–21)

物理量观测的量子逻辑。 (英语) Zbl 07860234号

卡洛斯·阿雷塞斯(编辑)等人,《动态逻辑》。新趋势和应用。第四届国际研讨会,DaLí2022年,以色列海法,2022年7月31日至8月1日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13780, 90-105 (2023).
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

量子设置中的模态逻辑不足。 (英语) Zbl 1486.81008号

Selinger,Peter(ed.)等人,第15届量子物理与逻辑国际会议论文集,QPL’18,加拿大哈利法克斯,2018年6月3日至7日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)287267-297(2019)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份