On the termination of program schemas
- 30 November 1975
- journal article
- Published by Elsevier in Information and Control
- Vol. 29 (3) , 243-251
- https://doi.org/10.1016/s0019-9958(75)90415-5
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- On formalised computer programsJournal of Computer and System Sciences, 1970