%0 Conference Paper %1 conf/rta/GuerrieriPF16 %A Guerrieri, Giulio %A Pellissier, Luc %A de Falco, Lorenzo Tortora %B FSCD %D 2016 %E Kesner, Delia %E Pientka, Brigitte %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 20:1-20:18 %T Computing Connected Proof(-Structure)s From Their Taylor Expansion. %U http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#GuerrieriPF16 %V 52 %@ 978-3-95977-010-1

@inproceedings{conf/rta/GuerrieriPF16, added-at = {2019-10-19T00:00:00.000+0200}, author = {Guerrieri, Giulio and Pellissier, Luc and de Falco, Lorenzo Tortora}, biburl = {https://www.bibsonomy.org/bibtex/228001ddf72895112181b4658b2ae3078/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2016}, editor = {Kesner, Delia and Pientka, Brigitte}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2016.20}, interhash = {e2d51027289e96e214546bbe7fb801af}, intrahash = {28001ddf72895112181b4658b2ae3078}, isbn = {978-3-95977-010-1}, keywords = {dblp}, pages = {20:1-20:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:09.000+0100}, title = {Computing Connected Proof(-Structure)s From Their Taylor Expansion.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#GuerrieriPF16}, volume = 52, year = 2016 }