This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
de Bakker, J.W. / Scott, D.: A theory of programs. Unpublished memo (1969)
Garland, S.J. / Luckham, D.C.: Program schemas, recursion schemas, and formal languages. JCSS 7 (1973), 119–160
Glushkov, V.: Automata theory and formal microprogram transformations. Kibernetika 1 (1965) 5, 1–9
Indermark, K.: Programmschemata mit booleschen Unterprogrammen. 2. Gl-Jahrestagung (1972), 107–115
Ito, T.: A theory of formal microprograms. Summer-School, St. Raphael (1971)
Luckham, D. / Park, D. / Paterson, M.: On formalised computer programs. JCSS 4 (1970), 220–249
Paterson, M.: Decision problems in computational models. Proc. ACM Conference Las Cruces (1972), 74–82
Rights and permissions
Copyright information
© 1973 Springer-Verlag
About this paper
Cite this paper
Indermark, K. (1973). On ianov schemas with one memory location. In: GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen. Lecture Notes in Computer Science, vol 2. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039166
Download citation
DOI: https://doi.org/10.1007/BFb0039166
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06527-2
Online ISBN: 978-3-540-37826-6
eBook Packages: Springer Book Archive