简单模型的空间逻辑
摘要
出版物: -
arXiv电子打印 发布日期: 2021年5月 内政部: -
10.48550/arXiv.2105.08708 arXiv: -
arXiv公司:2105.08708 书目代码: -
2021arXiv210508708L 关键词: -
计算机科学-计算机科学中的逻辑
电子打印: 《计算机科学中的逻辑方法》第19卷第3期(2023年7月26日)lmcs:8576