author = {B. Buchberger},
title = {{Ueber gewisse Zerlegungen von Goedel-Numerierungen und die Semantik von Programmiersprachen (On Certain Decompositions of Gödel Numberings and the Semantics of Programming Languages)}},
language = {german},
year = {1972},
month = {June 13},
annote = {1972-06-13-A},
note = {Invited colloquium talk at Institute of Computer Science, University of Munchen, Germany},
institution = {Institute of Computer Science, University of Munchen, Germany}