Detecting Unsatisfiable Conjunctive Property Path under Shape Expression Schema

Detecting Unsatisfiable Conjunctive Property Path under Shape Expression Schema
复制标题

检测形状表达模式下不可满足的合取属性路径

DOI:
10.55432/978-1-6692-0001-7_2
复制
发表时间:
2022
期刊:
Automated Systems, Data, and Sustainable Computing
影响因子:
--
通讯作者:
Y. Maeda and N. Suzuki
Y. Maeda and N. Suzuki
中科院分区:
--
文献类型:
--
作者:
友田涼太;古賀久志;Y. Maeda and N. Suzuki

文献摘要

相似文献