Clausal Resolution for Modal Logics of Confluence



Nalon, C, Marcos, J and Dixon, C ORCID: 0000-0002-4610-9533
(2014) Clausal Resolution for Modal Logics of Confluence. In: International Joint Conference on Automated Reasoning (IJCAR), Vienna University of Technology.

[img] Text
paper_15.pdf - Accepted Version

Download (351kB)
Item Type: Conference or Workshop Item (Unspecified)
Additional Information: ## TULIP Type: Conference Proceedings (contribution) ##
Depositing User: Symplectic Admin
Date Deposited: 06 Jul 2017 13:06
Last Modified: 09 Jan 2021 06:40
URI: https://livrepository.liverpool.ac.uk/id/eprint/3008350