Equivalences on program schemes
- 1 June 1970
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 4 (3) , 205-219
- https://doi.org/10.1016/s0022-0000(70)80021-6
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959