Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity

Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity
Kataloginformation
Feldname Details
Vorliegende Sprache eng
ISBN 978-3-662-54313-9
Name Zeume, Thomas
T I T E L Small Dynamic Complexity Classes
Zusatz zum Titel An Investigation into Dynamic Descriptive Complexity
Verlagsort Berlin, Heidelberg
Verlag Springer
Erscheinungsjahr 2017
2017
Umfang Online-Ressource (VIII, 149 p. 17 illus, online resource)
Reihe Lecture Notes in Computer Science ; 10110
Lecture notes in computer science
Band 10110
Titelhinweis Druckausg.ISBN: 978-3-662-54313-9
Printed editionISBN: 978-3-662-54313-9
ISBN ISBN 978-3-662-54314-6
Klassifikation UM
UYF
COM036000
*68-02
68P15
68Q15
68Q17
68Q19
COM051000
UYA
005.1015113
004.0151
QA76.9.L63
QA76.5913
QA76.63
Kurzbeschreibung "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
2. Kurzbeschreibung Dynamic Complexity: Definitions and Examples -- Relating Small Dynamic Complexity Classes -- Lower Bounds for Dynamic Complexity Classes
SWB-Titel-Idn 485259133
Signatur Springer E-Book
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttp://dx.doi.org/10.1007/978-3-662-54314-6
Internetseite / Link Volltext
Siehe auch Inhaltstext
.
ISBD-Anzeige Katalogdatensatz500245305
.
Kategorien-Anzeige Katalogdatensatz500245305
.
Verwandte Werke Katalogdatensatz500245305
.
Bände anzeigen Katalogdatensatz500245305
.
Titel zur Titelsammlung hinzufügen Katalogdatensatz500245305
.
Kataloginformation500245305 Datensatzanfang . Kataloginformation500245305 Seitenanfang .
Titel vormerken Katalogdatensatz500245305
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche