Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren

Rackoff, C. W. / J. Ferrante. The Computational Complexity of Logical Theories. Springer Berlin Heidelberg, 1979.

eng

C. W. Rackoff / J. Ferrante

The Computational Complexity of Logical Theories

Springer Berlin Heidelberg
1979

Taschenbuch
256 Seiten
ISBN 9783540095019

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.

53,49 €

inkl. MwSt.
zzgl. Versand

in Kürze