Nalon, C, Marcos, J and Dixon, C
(2014)
Clausal Resolution for Modal Logics of Confluence.
In: International Joint Conference on Automated Reasoning (IJCAR), Vienna University of Technology.
(In Press)
![[img]](https://livrepository.liverpool.ac.uk/style/images/fileicons/text.png) |
Text
paper_15.pdf - Author Accepted Manuscript 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: | 19 Jan 2023 07:00 |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3008350 |
Share
Share
Share
CORE (COnnecting REpositories)