Vai al contenuto principale della pagina
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 |