Modular Labelled Sequent Calculi for Abstract Separation Logics

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Links

DOI

  • Zhé Hóu, Griffith University, Australia
  • Ranald Clouston
  • ,
  • Rajeev Goré, Australian National University, Australia
  • Alwen Tiu, Australian National University, Australia
Original languageEnglish
Article number13
JournalACM Transactions on Computational Logic
Volume19
Issue2
Pages (from-to)1-35
Number of pages35
ISSN1529-3785
DOIs
Publication statusPublished - 28 Jun 2018

See relations at Aarhus University Citationformats

ID: 119334324