Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per The Computational Complexity of Logical Theories
Foto dell'editore
Computational Complexity of Logical Theories
Print on DemandDa: PBShop.store US, Wood Dale, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9783662209806
Compra nuovo
EUR 58,61
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Computational Complexity of Logical Theories
Print on DemandDa: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice articolo L0-9783662209806
Compra nuovo
EUR 53,93
Spese di spedizione:
EUR 4,71
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
The Computational Complexity of Logical Theories
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783662209806_new
Compra nuovo
EUR 53,22
Spese di spedizione:
EUR 13,57
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili