%0 Journal Article %1 journals/scp/FreitasV08 %A de Freitas, Renata P. %A Viana, Jorge Petrucio %D 2008 %J Sci. Comput. Program. %K dblp %N 2-3 %P 129-135 %T A note on proofs with graphs. %U http://dblp.uni-trier.de/db/journals/scp/scp73.html#FreitasV08 %V 73

@article{journals/scp/FreitasV08, added-at = {2021-02-17T00:00:00.000+0100}, author = {de Freitas, Renata P. and Viana, Jorge Petrucio}, biburl = {https://www.bibsonomy.org/bibtex/2eab5d9f17e5646770c17f43dc0a20a98/dblp}, ee = {https://doi.org/10.1016/j.scico.2008.08.002}, interhash = {18942618613a8453eed2f476cf1f9c30}, intrahash = {eab5d9f17e5646770c17f43dc0a20a98}, journal = {Sci. Comput. Program.}, keywords = {dblp}, number = {2-3}, pages = {129-135}, timestamp = {2024-04-09T05:27:17.000+0200}, title = {A note on proofs with graphs.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp73.html#FreitasV08}, volume = 73, year = 2008 }