%0 Journal Article %1 journals/tcs/GuerriniMM01 %A Guerrini, Stefano %A Martini, Simone %A Masini, Andrea %D 2001 %J Theor. Comput. Sci. %K dblp %N 2 %P 185-237 %T Proof nets, garbage, and computations. %U http://dblp.uni-trier.de/db/journals/tcs/tcs253.html#GuerriniMM01 %V 253

@article{journals/tcs/GuerriniMM01, added-at = {2021-02-17T00:00:00.000+0100}, author = {Guerrini, Stefano and Martini, Simone and Masini, Andrea}, biburl = {https://www.bibsonomy.org/bibtex/2983d7a25df41d7320766e8e5b9071863/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00094-3}, interhash = {0e2b6b30b1d70d86fd6ddbfd237b2ca2}, intrahash = {983d7a25df41d7320766e8e5b9071863}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 2, pages = {185-237}, timestamp = {2024-04-08T18:45:57.000+0200}, title = {Proof nets, garbage, and computations.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs253.html#GuerriniMM01}, volume = 253, year = 2001 }