%0 Conference Paper %1 journals/entcs/DanosG15 %A Danos, Vincent %A Garnier, Ilias %B MFPS %D 2015 %E Ghica, Dan R. %I Elsevier %K %P 137-164 %T Dirichlet is Natural. %U http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#DanosG15 %V 319

@inproceedings{journals/entcs/DanosG15, added-at = {2023-12-12T21:28:29.000+0100}, author = {Danos, Vincent and Garnier, Ilias}, biburl = {https://www.bibsonomy.org/bibtex/249d209b36f9117d7936bb9c8c4758cd3/admin}, booktitle = {MFPS}, crossref = {conf/mfps/2015}, editor = {Ghica, Dan R.}, ee = {https://doi.org/10.1016/j.entcs.2015.12.010}, interhash = {3eb7f4c9b2ae5cb61f07a77823c1801a}, intrahash = {49d209b36f9117d7936bb9c8c4758cd3}, keywords = {}, pages = {137-164}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2023-12-12T21:28:29.000+0100}, title = {Dirichlet is Natural.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs319.html#DanosG15}, volume = 319, year = 2015 }