Arboreal Categories: An Axiomatic Theory of Resources
Arboreal Categories: An Axiomatic Theory of Resources
复制标题
树栖类别：资源的公理理论
DOI：
10.46298/lmcs-19(3:14)2023
复制
发表时间：
2023
影响因子：
0.6
通讯作者：
Abramsky S
中科院分区：
文献类型：
--
作者：
Abramsky S
登录
查看更多内容
混合逻辑的共元语义
DOI：
10.4230/lipics.mfcs.2022.7
发表时间：
2022
期刊：
Leibniz International Proceedings in Informatics, LIPIcs
影响因子：
--
作者：
Abramsky S.
通讯作者：
Abramsky S.
线性树栖类别
DOI：
--
发表时间：
2023
期刊：
arXiv.org
影响因子：
--
作者：
Samson Abramsky;Yoàv Montacute;Nihil Shah
通讯作者：
Nihil Shah
论数据记录的表达能力：工具和案例研究
DOI：
10.1145/298514.298542
发表时间：
1990
期刊：
Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
影响因子：
--
作者：
Phokion G. Kolaitis;Moshe Y. Vardi
通讯作者：
Moshe Y. Vardi
有限模型理论和有限变量逻辑
DOI：
10.1016/j.entcs.2020.09.010
发表时间：
1996
期刊：
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
影响因子：
--
作者：
Eric Barry Rosen
通讯作者：
Eric Barry Rosen
DOI：
10.1145/1379759.1379763
发表时间：
2008
期刊：
J. ACM
影响因子：
--
作者：
Benjamin Rossman
通讯作者：
Benjamin Rossman