Abstract
This chapter concerns two subjects from the theory of computation, namely the halting problem and non-uniform computational complexity. Some issues concerning these subjects are investigated thinking in terms of instruction sequences
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Atlantis Press and the authors
About this chapter
Cite this chapter
Bergstra, J.A., Middelburg, C.A. (2012). Computation-Theoretic Issues. In: Instruction Sequences for Computer Science. Atlantis Studies in Computing, vol 2. Atlantis Press, Paris. https://doi.org/10.2991/978-94-91216-65-7_5
Download citation
DOI: https://doi.org/10.2991/978-94-91216-65-7_5
Published:
Publisher Name: Atlantis Press, Paris
Print ISBN: 978-94-91216-64-0
Online ISBN: 978-94-91216-65-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)