Image from Amazon.com
The Computational Complexity of Logical Theories [electronic resource] / by Jeanne Ferrante, Charles W. Rackoff.
Material type:
TextSeries: Lecture Notes in Mathematics ; 718Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1979Description: XII, 244 p. online resourceContent type: - text
- computer
- online resource
- 9783540351979
- 510 23
- QA1-939
Contents:
In:
Springer eBooks
and background -- Ehrenfeucht games and decision procedures -- Integer addition — An example of an Ehrenfeucht game decision procedure -- Some additional upper bounds -- Direct products of theories -- Lower bound preliminaries -- A technique for writing short formulas defining complicated properties -- A lower bound on the theories of pairing functions -- Some additional lower bounds.
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK97 |
and background -- Ehrenfeucht games and decision procedures -- Integer addition — An example of an Ehrenfeucht game decision procedure -- Some additional upper bounds -- Direct products of theories -- Lower bound preliminaries -- A technique for writing short formulas defining complicated properties -- A lower bound on the theories of pairing functions -- Some additional lower bounds.
There are no comments on this title.
Log in to your account to post a comment.