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: 18 Jan 2023 23:59
DOI: 10.1145/3331448
Open Access URL: https://doi.org/10.1145/3331448
URI: https://livrepository.liverpool.ac.uk/id/eprint/3077823
Dimensions
Altmetric
CORE (COnnecting REpositories)