%0 Conference Paper %1 conf/ershov/Glushkov79 %A Glushkov, V. M. %B Algorithms in Modern Mathematics and Computer Science %D 1979 %E Ershov, Andrei P. %E Knuth, Donald E. %I Springer %K dblp %P 430-440 %T On formal transformations of algorithms. %U http://dblp.uni-trier.de/db/conf/ershov/ershov1979.html#Glushkov79 %V 122 %@ 0-387-11157-3

@inproceedings{conf/ershov/Glushkov79, added-at = {2017-05-19T00:00:00.000+0200}, author = {Glushkov, V. M.}, biburl = {https://www.bibsonomy.org/bibtex/21772c50b0860e4e3c95cc2e0f751f805/dblp}, booktitle = {Algorithms in Modern Mathematics and Computer Science}, crossref = {conf/ershov/1979}, editor = {Ershov, Andrei P. and Knuth, Donald E.}, ee = {https://doi.org/10.1007/3-540-11157-3_40}, interhash = {d8658a1b39b1d3b4e267f861dd7b9a20}, intrahash = {1772c50b0860e4e3c95cc2e0f751f805}, isbn = {0-387-11157-3}, keywords = {dblp}, pages = {430-440}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-24T00:58:12.000+0200}, title = {On formal transformations of algorithms.}, url = {http://dblp.uni-trier.de/db/conf/ershov/ershov1979.html#Glushkov79}, volume = 122, year = 1979 }