The paper was published in "Proceedings of ACM Symposium on Proving Assertions About Programs", Las Cruces, New Mexico, Jan. 6–7, pp. 74–82, 1972
Editor information
Rights and permissions
Copyright information
© 1974 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Paterson, M.S. (1974). Decision problems in computational models. In: Ershov, A., Nepomniaschy, V. (eds) International Symposium on Theoretical Programming. Lecture Notes in Computer Science, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-06720-5_7
Download citation
DOI: https://doi.org/10.1007/3-540-06720-5_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-06720-7
Online ISBN: 978-3-540-38012-2
eBook Packages: Springer Book Archive