Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 5.


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.


Hustadt, U ORCID: 0000-0002-0455-0267, Nalon, C and Dixon, C ORCID: 0000-0002-4610-9533
(2018) Evaluating pre-processing techniques for the separated normal form for temporal logics. .


Nalon, C, Hustadt, U ORCID: 0000-0002-0455-0267 and Dixon, C ORCID: 0000-0002-4610-9533
(2017) K<inf>S</inf>P: A resolution-based prover for multimodal K abridged report. .


Nalon, C, Hustadt, U ORCID: 0000-0002-0455-0267 and Dixon, C ORCID: 0000-0002-4610-9533
(2020) KSP A Resolution-Based Theorem Prover for K_n : Architecture, Refinements, Strategies and Experiments. Journal of Automated Reasoning, 64. 461 - 484.


Nalon, C, Dixon, Clare ORCID: 0000-0002-4610-9533 and Hustadt, U ORCID: 0000-0002-0455-0267
(2019) Modal Resolution: Proofs, Layers and Refinements. ACM Transactions on Computational Logic, 20 (4).

This list was generated on Wed Aug 3 14:56:23 2022 BST.