J. Ferrante, C. W. Rackoff

The Computational Complexity of Logical Theories

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Mathematics 718
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-09501-9
• 1979.
• Seitenzahl: 256
• Erscheinungstermin: 1. Juli 1979
• Englisch
• Abmessung: 235mm x 155mm x 15mm
• Gewicht: 410g
• ISBN-13: 9783540095019
• ISBN-10: 3540095012
• Artikelnr.: 23572042

Inhaltsangabe

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.