Skip navigation
The Australian National University

Proof Search for Propositional Abstract Separation Logics via Labelled Sequents

Citation

Hou, Z, Clouston, R, Gore, R et al 2014, 'Proof Search for Propositional Abstract Separation Logics via Labelled Sequents', 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2014, Association for Computing Machinery (ACM), San Diego, CA, pp. 465-476.

Year

2014

Field of Research

  • Computational Logic And Formal Languages

Updated:  20 November 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers