%0 Journal Article %1 journals/mscs/LiquoriS08 %A Liquori, Luigi %A Serpette, Bernard P. %D 2008 %J Mathematical Structures in Computer Science %K dblp %N 3 %P 467-500 %T iRho: an imperative rewriting calculus. %U http://dblp.uni-trier.de/db/journals/mscs/mscs18.html#LiquoriS08 %V 18

@article{journals/mscs/LiquoriS08, added-at = {2008-06-19T00:00:00.000+0200}, author = {Liquori, Luigi and Serpette, Bernard P.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/282c239c45982f6d93f0ac6470a3464ad/dblp}, ee = {http://dx.doi.org/10.1017/S0960129508006750}, interhash = {0b2bbcce2ab921e14d5e399f07f1e775}, intrahash = {82c239c45982f6d93f0ac6470a3464ad}, journal = {Mathematical Structures in Computer Science}, keywords = {dblp}, number = 3, pages = {467-500}, timestamp = {2016-02-02T06:11:24.000+0100}, title = {iRho: an imperative rewriting calculus.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs18.html#LiquoriS08}, volume = 18, year = 2008 }