Blikle, Andrzej Algorithmically definable functions. (A contribution towards the semantics of programming languages.). (English) Zbl 0221.68045 Dissertationes Math., Warszawa 85, 52 p. (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 68Q55 Semantics in the theory of computing 68Q45 Formal languages and automata PDFBibTeX XML