Articoli correlati a Small Dynamic Complexity Classes: An Investigation...
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity: 10110 - Brossura
Sinossi
"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. One of the contributions to the former aspect helped to confirm the conjecture by Patnaik and Immerman (1997) that reachability can be maintained by first-order update formulas.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
Thomas Zeume received his PhD from the computer science department at the TU Dortmund University, advised by Thomas Schwentick. His research focuses on the connection of logic, complexity theory, and database theory. Thomas was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information and he received the Best Student Paper Award at the 2014 Mathematical Foundations of Computer Science conference.
Dalla quarta di copertina
"Small Dynamic Complexity Classes" was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. One of the contributions to the former aspect helped to confirm the conjecture by Patnaik and Immerman (1997) that reachability can be maintained by first-order update formulas.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buonoUsed - Like New Book. Shipped from...
Visualizza questo articolo
EUR 14,15
EUR 8,98 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Small Dynamic Complexity Classes: An Investigation...
Foto dell'editore
Small Dynamic Complexity Classes
Editore:
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2017
ISBN 10: 3662543133
ISBN 13: 9783662543139
Antico o usato
PAP
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
Valutazione del venditore 5 su 5 stelle
PAP. Condizione: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. Codice articolo P1-9783662543139
Quantità: 1 disponibili
Immagini fornite dal venditore
Small Dynamic Complexity Classes
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date resultsExtensive study of the power of logics in dynamic settingsDocument of the progress in dynamic complexityThomas Zeume received his PhD from the computer science department at . Codice articolo 135642224
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Small Dynamic Complexity Classes
Editore:
Springer Berlin Heidelberg Feb 2017, 2017
ISBN 10: 3662543133
ISBN 13: 9783662543139
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -'Small Dynamic Complexity Classes' was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. One of the contributions to the former aspect helped to confirm the conjecture by Patnaik and Immerman (1997) that reachability can be maintained by first-order update formulas. 160 pp. Englisch. Codice articolo 9783662543139
Quantità: 2 disponibili
Immagini fornite dal venditore
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Editore:
Springer Berlin Heidelberg, 2017
ISBN 10: 3662543133
ISBN 13: 9783662543139
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 'Small Dynamic Complexity Classes' was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. One of the contributions to the former aspect helped to confirm the conjecture by Patnaik and Immerman (1997) that reachability can be maintained by first-order update formulas. Codice articolo 9783662543139
Quantità: 1 disponibili
Immagini fornite dal venditore
Small Dynamic Complexity Classes
ISBN 10: 3662543133
ISBN 13: 9783662543139
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -'Small Dynamic Complexity Classes' was awarded the E.W. Beth Dissertation Prize 2016 for outstanding dissertations in the fields of logic, language, and information. The thesis studies the foundations of query re-evaluation after modifying a database. It explores the structure of small dynamic descriptive complexity classes and provides new methods for proving lower bounds in this dynamic context. One of the contributions to the former aspect helped to confirm the conjecture by Patnaik and Immerman (1997) that reachability can be maintained by first-order update formulas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch. Codice articolo 9783662543139
Quantità: 2 disponibili
Foto dell'editore
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity (Theoretical Computer Science and General Issues)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783662543139_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 28771290-n
Quantità: Più di 20 disponibili
Foto dell'editore
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity (Theoretical Computer Science and General Issues)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9783662543139
Quantità: Più di 20 disponibili
Foto dell'editore
SMALL DYNAMIC COMPLEXITY CLASSES AN INVESTIGATION INTO DYNAMIC DESCRIPTIVE COMPLEXITY
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 370417726
Quantità: 1 disponibili
Foto dell'editore
SMALL DYNAMIC COMPLEXITY CLASSES AN INVESTIGATION INTO DYNAMIC DESCRIPTIVE COMPLEXITY
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 18375627755
Quantità: 1 disponibili