1.

Record Nr.

UNISALENTO991000773789707536

Autore

Ferrante, Jeanne

Titolo

The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff

Pubbl/distr/stampa

Berlin : Springer-Verlag, 1979

ISBN

3540095012

Descrizione fisica

x, 243 p. : ill. ; 24 cm.

Collana

Lecture notes in mathematics, 0075-8434 ; 718

Classificazione

AMS 03D05

Altri autori (Persone)

Rackoff, Charles W.

Disciplina

510.3

Soggetti

Automata and formal grammars in connection with logical questions

Computational complexity

Predicate calculus

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Bibliography: p. [234]-238.

Includes index