Small Dynamic Complexity Classes
Produktnummer:
1807d77e6fcab2403ba870049de097de72
Autor: | Zeume, Thomas |
---|---|
Themengebiete: | algorithm analysis and problem complexity complexity classes computational science dynamic complexity theory formal methods regular languages theory of computing |
Veröffentlichungsdatum: | 18.02.2017 |
EAN: | 9783662543139 |
Sprache: | Englisch |
Seitenzahl: | 149 |
Produktart: | Kartoniert / Broschiert |
Verlag: | Springer Berlin |
Untertitel: | An Investigation into Dynamic Descriptive Complexity |
Produktinformationen "Small Dynamic Complexity Classes"
"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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen