Complexity of probabilistic inclusion logic and additive real arithmetics
Complexity of probabilistic inclusion logic and additive real arithmetics
复制标题
概率包含逻辑和加法实数运算的复杂性
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Miika Hannula and Jonni Virtema
中科院分区：
文献类型：
--
作者：
Miika Hannula;Juha Kontinen;Jan Van den Bussche;and Jonni Virtema;Miika Hannula and Jonni Virtema
登录
查看更多内容
稀疏数据库上的聚合查询
DOI：
--
发表时间：
2019
期刊：
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
影响因子：
--
作者：
Szymon Toruńczyk
通讯作者：
Szymon Toruńczyk
学习权重聚合逻辑描述的概念
DOI：
--
发表时间：
2020
期刊：
Annual Conference for Computer Science Logic
影响因子：
--
作者：
Steffen van Bergerem;Nicole Schweikardt
通讯作者：
Nicole Schweikardt
团队逻辑和二阶逻辑
DOI：
--
发表时间：
2009
期刊：
Workshop on Logic, Language, Information and Computation
影响因子：
--
作者：
J. Kontinen;Ville Nurmi
通讯作者：
Ville Nurmi
DOI：
--
发表时间：
1995
期刊：
Symposium on the Theory of Computing
影响因子：
--
作者：
E. Grädel;K. Meer
通讯作者：
K. Meer
团队语义中的包含与排除依赖——论不完美信息的一些逻辑
影响因子：
0.8
作者：
P. Galliani
通讯作者：
P. Galliani