by Kfoury, A. J., Moll, Robert N., Arbib, Michael A.
Published 1982
Springer New York
Table of Contents: '; ... -- 1.3 Diagonalization and the Halting Problem -- 2 The Syntax and Semantics of while-Programs -- 2...

by Manes, Ernest G., Arbib, Michael A.
Published 1986
Springer New York
... to the general analysis of questions of syntax, structuring strings of symbols which could count as legal...