Modular Labelled Sequent Calculi for Abstract Separation Logics

Citation

Hou, Z, Clouston, R, Gore, R et al. 2018, 'Modular Labelled Sequent Calculi for Abstract Separation Logics', ACM Transactions on Computational Logic, vol. 19, no. 2, pp. 1-35pp.

Year

2018

Updated:  28 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers