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

-

Language

eng

Pages

268

Description:

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