Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/rta/Horne19
%A Horne, Ross
%B FSCD
%D 2019
%E Geuvers, Herman
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik
%K dblp
%P 23:1-23:16
%T The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic.
%U http://dblp.uni-trier.de/db/conf/rta/fscd2019.html#Horne19
%V 131
%@ 978-3-95977-107-8
@inproceedings{conf/rta/Horne19,
added-at = {2019-07-05T00:00:00.000+0200},
author = {Horne, Ross},
biburl = {https://www.bibsonomy.org/bibtex/2178beed593c9fb90e7207d0237491674/dblp},
booktitle = {FSCD},
crossref = {conf/rta/2019},
editor = {Geuvers, Herman},
ee = {https://doi.org/10.4230/LIPIcs.FSCD.2019.23},
interhash = {3e16552c5d341c7e2f921812cbf6fc1a},
intrahash = {178beed593c9fb90e7207d0237491674},
isbn = {978-3-95977-107-8},
keywords = {dblp},
pages = {23:1-23:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
series = {LIPIcs},
timestamp = {2024-08-26T07:48:02.000+0200},
title = {The Sub-Additives: A Proof Theory for Probabilistic Choice extending Linear Logic.},
url = {http://dblp.uni-trier.de/db/conf/rta/fscd2019.html#Horne19},
volume = 131,
year = 2019
}