Algorithms for Constructing Computably Enumerable Sets

Available
0
StarStarStarStarStar
0Reviews

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.  This textbook presents these techniques in a unified way that should appeal to computer scientists.

Specifically, the book explains, organizes, and compares various algorithmic techniques used in computability theory (which was formerly called "classical recursion theory").  This area of s...

Read more
E-book
pdf
Price
54.99 £

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets.  This textbook presents these techniques in a unified way that should appeal to computer scientists.

Specifically, the book explains, organizes, and compares various algorithmic techniques used in computability theory (which was formerly called "classical recursion theory").  This area of s...

Read more
Follow the Author

Options

  • Formats: pdf
  • ISBN: 9783031269042
  • Publication Date: 23 May 2023
  • Publisher: Springer International Publishing
  • Product language: English
  • Drm Setting: DRM