The computational complexity of logical theories / / J. Ferrante, C. W. Rackoff
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Ferrante Jeanne <1949->
|
| Titolo: |
The computational complexity of logical theories / / J. Ferrante, C. W. Rackoff
|
| Pubblicazione: | Berlin, Germany : , : Springer, , [1979] |
| ©1979 | |
| Edizione: | 1st ed. 1979. |
| Descrizione fisica: | 1 online resource (XII, 244 p.) |
| Disciplina: | 510 |
| Soggetto topico: | Predicate calculus |
| Classificazione: | 03D15 |
| Persona (resp. second.): | RackoffCharles W. <1948-> |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Computational complexity of logical theories |
| ISBN: | 3-540-35197-3 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466622003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Mathematics, . 0075-8434 ; ; 718