具有传递保护和相关变量的二元保护碎片的有限可满足性
摘要
出版物: -
arXiv电子打印 发布日期: 2016年11月 内政部: -
10.48550/arXiv.1611.03267 arXiv: -
arXiv:1611.03267号 书目代码: -
2016arXiv161103267K 关键词: -
计算机科学-计算机科学中的逻辑
电子打印: ACM TOCL接受