标题 |
Unified temporal logic
相关领域
计算机科学
时态逻辑
线性时序逻辑
区间时态逻辑
行动的时间逻辑
可判定性
计算树逻辑
理论计算机科学
动态逻辑(数字电子)
数学
线性逻辑
多模态逻辑
子结构逻辑
离散数学
程序设计语言
算法
自动机
扩展(谓词逻辑)
|
网址 | |
DOI |
10.1016/j.tcs.2021.02.007
doi
|
求助人 |
yang1993 在
2021-06-26 20:02:56 发布,悬赏 10 积分
|
下载 | 该求助完结已超 24 小时,文件已从服务器自动删除,无法下载。 |
温馨提示:该文献已被科研通 学术中心 收录,前往查看
科研通『学术中心』是文献索引库,收集文献的基本信息(如标题、摘要、期刊、作者、被引量等),不提供下载功能。如需下载文献全文,请通过文献求助获取。
|