事件结构中依赖关系的一种新的操作表示
摘要
出版物: -
arXiv电子打印 发布日期: 2020年11月 内政部: -
10.48550/arXiv.2012.00118 arXiv公司: -
arXiv:2012.00118号 书目代码: -
2020arXiv201200118P 关键词: -
计算机科学——计算机科学中的逻辑; F.4.m; H.1段
电子打印: 《计算机科学中的逻辑方法》第17卷第4期(2021年12月2日)lmcs:6950