Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Small Dynamic Complexity Classes

53,49 €*

Sofort verfügbar, Lieferzeit: 1-3 Tage

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