author = {B. Buchberger},
title = {{Certain Decompositions of Goedel Numberings and the Semantics of Programming Languages}},
language = {english},
year = {1972},
month = {August},
annote = {1972-08-00-A},
note = {Invited talk at Symposium on Theoretical Programming, Novosibirsk, Russia},
conferencename = {Symposium on Theoretical Programming, Novosibirsk, Russia}