Some Undecidability Results for Parallel Program Schemata
- 1 March 1972
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 1 (1) , 119-129
- https://doi.org/10.1137/0201007
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Parallel program schemataJournal of Computer and System Sciences, 1969
- Multitape finite automata with rewind instructionsJournal of Computer and System Sciences, 1967
- On Ianov's Program SchemataJournal of the ACM, 1964