%0 Journal Article %1 journals/tcs/FernandezM03 %A Fernández, Maribel %A Mackie, Ian %D 2003 %J Theor. Comput. Sci. %K dblp %N 1-3 %P 157-181 %T Operational equivalence for interaction nets. %U http://dblp.uni-trier.de/db/journals/tcs/tcs297.html#FernandezM03 %V 297

@article{journals/tcs/FernandezM03, added-at = {2021-02-17T00:00:00.000+0100}, author = {Fernández, Maribel and Mackie, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2922e0ca24fa5263de338196076f3479f/dblp}, ee = {https://doi.org/10.1016/S0304-3975(02)00637-0}, interhash = {3d7ec2d8c8b64ba17572a76df6a339c0}, intrahash = {922e0ca24fa5263de338196076f3479f}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-3}, pages = {157-181}, timestamp = {2024-04-08T18:38:10.000+0200}, title = {Operational equivalence for interaction nets.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs297.html#FernandezM03}, volume = 297, year = 2003 }