Complexity, Logic, and Recursion Theory

Complexity, Logic, and Recursion Theory

4.11 - 1251 ratings - Source

qIntegrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature.qThe basic model in the computational world used in this paper is the standard single tape Turing machine. ... This tableau represents the time-space diagram of the computation, with the time running from top to bottom and the space beinganbsp;...

Title:Complexity, Logic, and Recursion Theory
Author:Andrea Sorbi
Publisher:CRC Press - 1997-02-04


You Must CONTINUE and create a free account to access unlimited downloads & streaming