约瑟夫·布杜;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德 命题赋值动态逻辑中的资源分离。 (英语) Zbl 1518.68203号 J.日志。阿尔盖布。方法计划。 121,文章ID 100683,17 p.(2021).理学硕士:60年第68季度 03B70型 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}等人,J.Log。阿尔盖布。方法计划。121,文章ID 100683,17 p.(2021;Zbl 1518.68203) 全文: 内政部 链接
玛丽莎·纳瓦罗;费尔南多·奥雷贾斯;埃尔维拉·皮诺;莱恩·兰伯斯 用于推理图形属性的导航逻辑。 (英语) Zbl 1455.68147号 J.日志。阿尔盖布。方法计划。 118,文章ID 100616,34 p.(2021).理学硕士:68升10 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Navarro}等人,J.Log。阿尔盖布。方法计划。118,文章ID 100616,34 p.(2021;Zbl 1455.68147) 全文: 内政部 链接
弗雷德里克·达尔奎斯特;大卫·皮姆 分配子结构逻辑的余代数完备性-via-非唯一性。 (英语) Zbl 1453.03020号 J.日志。阿尔盖布。方法计划。 93, 1-22 (2017).理学硕士:03B47号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{F.Dahlqvist}和\textit{D.Pym},J.Log。阿尔盖布。方法计划。93,1-22(2017;Zbl 1453.03020) 全文: 内政部 arXiv公司
O'Hearn,Peter W。;拉斯穆斯·彼得森。;朱尔斯·维拉德;阿克巴侯赛因 并发分离逻辑与并发Kleene代数的关系。 (英语) Zbl 1330.03072号 J.日志。阿尔盖布。方法计划。 84,第3期,285-302(2015).理学硕士:03B70型 03G25号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn}等人,J.Log。阿尔盖布。方法计划。84,第3号,285--302(2015;Zbl 1330.03072) 全文: 内政部