Äquivalente Transformationen für Flußdiagramme
- 1 January 1978
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 10 (2) , 127-155
- https://doi.org/10.1007/bf00289152
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The equivalence problem for deterministic two-tape automataJournal of Computer and System Sciences, 1973
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973
- CYBERNETICS OF AGEINGKybernetes, 1972
- On formalised computer programsJournal of Computer and System Sciences, 1970