A Bunched Logic for Conditional Independence (Conference Paper) | NSF PAGES

skip to main content

Citation Details

A Bunched Logic for Conditional Independence

Award ID(s):: 2023222 1943130

NSF-PAR ID:: 10293311

Author(s) / Creator(s):: Bao, Jialu; Docherty, Simon; Hsu, Justin; Silva, Alexandra

Date Published:: 2021-06-01

Journal Name:: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Page Range / eLocation ID:: 1 to 14

Format(s):: Medium: X

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Conference Paper:
https://doi.org/10.1109/LICS52264.2021.9470712