Skip to main navigation Skip to search Skip to main content

Proof search for propositional abstract separation logics via labelled sequents

Zhé Hóu, Ranald Clouston, Rajeev Goré, Alwen Tiu

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › peer-review

    11 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Proof search for propositional abstract separation logics via labelled sequents'. Together they form a unique fingerprint.
    Sort by

    Computer Science