×
Miika Hannula公司;朱哈·科廷宁;乔尼·维特玛;赫里贝特·沃尔默

团队语义中命题逻辑的复杂性。 （英语） Zbl 1407.68291号

ACM事务处理。计算。日志。 19，第1号，第2条，第14页（2018年）.

引用于14文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
03B70号 计算机科学中的逻辑
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）

关键词：

命题逻辑;依赖;包含;独立;模型检查;可满足性;团队语义;有效性
PDF格式BibTeX公司 XML格式引用
\textit{M.Hannula}等人，ACM翻译。计算。日志。19，第1号，第2条，第14页（2018；Zbl 1407.68291）
全文： 内政部 链接