1,685 followers
Clausal Resolution for Modal Logics of Confluence. (arXiv:1405.0293v1 [cs.LO]) http://t.co/YJGZntyzyr
Clausal Resolution for Modal Logics of Confluence. (arXiv:1405.0293v1 [cs.LO]) http://t.co/YJGZntyzyr
Clausal Resolution for Modal Logics of Confluence. (arXiv:1405.0293v1 [cs.LO]) http://t.co/8Y5CnuySwc