×

找到6个文档(结果1-6)

分离逻辑中的效应代数、Girard量子数和互补。 (英语) Zbl 07670510号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。第19届国际会议,RAMiCS 2021,法国马赛,2021年11月2-5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13027, 37-53 (2021).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种用于分离逻辑的程序构造和验证工具。 (英语) Zbl 1432.68071号

Hinze,Ralf(编辑)等人,《程序构造的数学》。2015年6月29日至7月1日,第12届国际会议,MPC 2015,德国科尼格斯温特。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9129, 137-158 (2015).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份