“对于符号堆分离逻辑Formul,隐含是无法确定的…”
Mnacho Echenim公司 , 半径Iosif , 尼古拉斯·佩尔蒂埃 :
对于具有未建立归纳规则的符号堆分离逻辑Formul,蕴涵是不确定的。 信息处理。 莱特。 173 : 106169 ( 2022 )
由于引用数据不可用,以下列表可能不完整, 引用字符串可能尚未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。