author = {B. Buchberger},
title = {{Certain Decompositions of Goedel Numberings and the Semantics of Programming Languages}},
booktitle = {{Proceedings of the International Symposium on Theoretical Programming, August 7-11, 1972, Novosibirsk}},
language = {english},
series = {Lecture Notes in Computer Science},
volume = {5},
pages = {152--171},
publisher = {Copyright: Springer - Verlag Berlin - Heidelberg - New York},
isbn_issn = {ISBN 3-540-067200-5},
year = {1974},
annote = {1974-08-07-A},
note = {(Appeared earlier in Russian in: Teoriya Programmirovaniya, part I., Trudy Simposiuma, Novosibirsk, 7-11 August, 1972, Ak. Nauk SSSR, Sibirian Division, Computing Center, pp. 250-266)},
editor = {A. Ershov and V. A. Nepomniaschy},
refereed = {yes},
length = {20}