%0 Conference Paper %1 conf/icdt/AamerB21 %A Aamer, Heba %A den Bussche, Jan Van %B ICDT %D 2021 %E Yi, Ke %E Wei, Zhewei %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 8:1-8:18 %T Input-Output Disjointness for Forward Expressions in the Logic of Information Flows. %U http://dblp.uni-trier.de/db/conf/icdt/icdt2021.html#AamerB21 %V 186 %@ 978-3-95977-179-5

@inproceedings{conf/icdt/AamerB21, added-at = {2022-04-09T00:00:00.000+0200}, author = {Aamer, Heba and den Bussche, Jan Van}, biburl = {https://www.bibsonomy.org/bibtex/206b3afbc96af737d44deae006d6d51c4/dblp}, booktitle = {ICDT}, crossref = {conf/icdt/2021}, editor = {Yi, Ke and Wei, Zhewei}, ee = {https://doi.org/10.4230/LIPIcs.ICDT.2021.8}, interhash = {fcb49260b1fc38a2dec24ee746e71344}, intrahash = {06b3afbc96af737d44deae006d6d51c4}, isbn = {978-3-95977-179-5}, keywords = {dblp}, pages = {8:1-8:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:35:46.000+0200}, title = {Input-Output Disjointness for Forward Expressions in the Logic of Information Flows.}, url = {http://dblp.uni-trier.de/db/conf/icdt/icdt2021.html#AamerB21}, volume = 186, year = 2021 }