有限多变量命题动态逻辑的复杂性和表达性
摘要
出版物: -
arXiv电子打印 发布日期: 2019年1月 内政部: -
10.48550/arXiv.1901.06407 arXiv: -
arXiv公司:1901.06407 书目代码: -
2019arXiv190106407R 关键词: -
计算机科学——计算机科学中的逻辑; 数学-逻辑
电子打印: 《IGPL逻辑杂志》,26(5),2018年,第539-547页