The Computational Complexity of Logical Theories
Seiten
1979
|
1979
Springer Berlin (Verlag)
978-3-540-09501-9 (ISBN)
Springer Berlin (Verlag)
978-3-540-09501-9 (ISBN)
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.
| Erscheint lt. Verlag | 1.7.1979 |
|---|---|
| Reihe/Serie | Lecture Notes in Mathematics |
| Zusatzinfo | XII, 244 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 363 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Schlagworte | Addition • Complexity • Computation • Computational Complexity • Form • Function • Functions • Games • Komplexität • Komplexität (Math.) • Logic • Prädikatenkalkül |
| ISBN-10 | 3-540-09501-2 / 3540095012 |
| ISBN-13 | 978-3-540-09501-9 / 9783540095019 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
ein Übungsbuch für Fachhochschulen
Buch | Hardcover (2023)
Carl Hanser (Verlag)
16,99 €
