| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{BaoDochertyHsuSilva-ABunchedLogicforCon,
author = {Jialu Bao and Simon Docherty and Justin Hsu and Alexandra Silva},
title = {A Bunched Logic for Conditional Independence},
booktitle = {Proceedings of the Thirty sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2021)},
year = {2021},
month = {June},
pages = {1--14},
location = {Rome, Italy},
publisher = {IEEE Computer Society Press}
}