DMCA

Proof search for propositional abstract separation logics via labelled sequents (2014)

by Ranald Clouston , Alwen Tiu
Venue:In POPL’14. ACM
Citations:5 - 0 self