斯蒂芬·德姆里;Deters,摩根 具有两个变量且没有分离连接的分离逻辑的表示完备性。 (英语) Zbl 1367.03053号 ACM事务处理。计算。日志。 17,第2号,第12条,44页(2016年)。理学硕士:03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},ACM Trans。计算。日志。17,第2号,第12条,44页(2016;Zbl 1367.03053) 全文: 内政部
斯特凡·德姆里;Deters,摩根 分离逻辑和方式:一项调查。 (英语) Zbl 1398.03151号 J.应用。非类别。日志。 25,第1号,50-99(2015)。理学硕士:03B70号 03B25号 03B44号 03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},J.Appl。非类别。日志。25,第1号,50--99(2015;Zbl 1398.03151) 全文: 内政部 哈尔
斯特凡·德姆里;Deters,摩根 二元分离逻辑及其内圈。 (英语) Zbl 1354.03036号 ACM事务处理。计算。日志。 16,第2号,第15条,第36页(2015年)。理学硕士:03B70号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters},ACM Trans。计算。日志。16,第2号,第15条,36页(2015;Zbl 1354.03036) 全文: 内政部 哈尔