DMCA
Proof search for propositional abstract separation logics via labelled sequents (2014)
Cached
Download Links
by
Ranald Clouston
,
Alwen Tiu
| Venue: | In POPL’14. ACM |
| Citations: | 5 - 0 self |
BibTeX
@INPROCEEDINGS{Clouston14proofsearch,
author = {Ranald Clouston and Alwen Tiu},
title = {Proof search for propositional abstract separation logics via labelled sequents},
booktitle = {In POPL’14. ACM},
year = {2014},
pages = {465--476}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
ar
