Some upper and lower bounds on decision procedures in logic

An edition of Some upper and lower bounds on decision procedures in logic (1974)

Some upper and lower bounds on decision procedures in logic

By Jeanne Ferrante

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

0 Want to read0 Currently reading0 Have read

Publish Date

1974

Publisher

Project MAC, Massachusetts Institute of Technology

Language

eng

Pages

268

Description:

subjects: Computational complexity, Gödel's theorem, Turing machines