On homomorphisms, correctness, termination, unfoldments, equivalence of flow diagram programs
- 30 June 1974
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 8 (3) , 333-365
- https://doi.org/10.1016/s0022-0000(74)80028-0
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Recursion induction applied to generalized flowchartsPublished by Association for Computing Machinery (ACM) ,1969