Proof search for propositional abstract separation logics via labelled sequents - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhe Hou, Ranald Clouston, Rajeev Goré, Alwen Tiu. Proof search for propositional abstract separation logics via labelled sequents. In Suresh Jagannathan, Peter Sewell, editors, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. pages 465-476, ACM, 2014. [doi]

This author has not been identified. Look up 'Zhe Hou' in GoogleThis author has not been identified. Look up 'Ranald Clouston' in GoogleThis author has not been identified. Look up 'Rajeev Goré' in GoogleThis author has not been identified. Look up 'Alwen Tiu' in Google

runs on WebDSL