Modal Resolution: Proofs, Layers, and Refinements.



Nalon, Cláudia, Dixon, Clare and Hustadt, Ullrich ORCID: 0000-0002-0455-0267
(2019) Modal Resolution: Proofs, Layers, and Refinements. ACM Trans. Comput. Log., 20. 23:1 - 23:1.

Access the full-text of this item by clicking on the Open Access link.
Item Type: Article
Depositing User: Symplectic Admin
Date Deposited: 06 Mar 2020 08:25
Last Modified: 17 Sep 2021 22:12
DOI: 10.1145/3331448
Open Access URL: https://doi.org/10.1145/3331448
URI: https://livrepository.liverpool.ac.uk/id/eprint/3077823