KSP: A Resolution-based Prover for Multimodal K Abridged Report



Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Dixon, Clare ORCID: 0000-0002-4610-9533
(2017) KSP: A Resolution-based Prover for Multimodal K Abridged Report. .

[img] Text
main.pdf - Accepted Version
Access to this file is embargoed until Unspecified.

Download (401kB)
Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 24 May 2017 08:08
Last Modified: 12 Aug 2022 02:10
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3007618