TY - BOOK AU - Engeler,Erwin TI - Symposium on semantics of algorithmic languages T2 - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann SN - 0387053778 (New York) PY - 1971/// CY - Berlin, New York PB - Springer-Verlag KW - Programming languages (Electronic computers) KW - Semantics KW - Congresses KW - Formal languages KW - Computer algorithms N1 - "A write-in symposium."; Bibliogr.: p. 367-372 ER -