可呈现签名和初始语义
摘要
出版物: -
arXiv电子打印 发布日期: 2018年5月 内政部: -
10.448550/arXiv.1805.03740 arXiv: -
arXiv:1805.03740 书目代码: -
2018年arXiv180503740A 关键词: -
计算机科学——计算机科学中的逻辑; 计算机科学-编程语言
电子打印: 计算机科学中的逻辑方法,第17卷第2期(2021年5月26日)lmcs:5136