Artículos relacionados a Small Dynamic Complexity Classes: An Investigation...
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity: 10110 (Theoretical Computer Science and General Issues) - Tapa blanda
Sinopsis
"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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
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.
De la contraportada
"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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 58,21
EUR 5,17 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Small Dynamic Complexity Classes: An Investigation...
Imagen de archivo
Small Dynamic Complexity Classes
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2017
ISBN 10: 3662543133
ISBN 13: 9783662543139
Antiguo o usado
PAP
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: Used - Very Good. Used - Like New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: P1-9783662543139
Cantidad disponible: 1 disponibles
Imagen de archivo
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity (Theoretical Computer Science and General Issues)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783662543139_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Small Dynamic Complexity Classes
Publicado por
Springer Berlin Heidelberg Feb 2017, 2017
ISBN 10: 3662543133
ISBN 13: 9783662543139
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783662543139
Cantidad disponible: 2 disponibles
Imagen del vendedor
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Publicado por
Springer Berlin Heidelberg, 2017
ISBN 10: 3662543133
ISBN 13: 9783662543139
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783662543139
Cantidad disponible: 1 disponibles
Imagen del vendedor
Small Dynamic Complexity Classes
Publicado por
Springer Berlin Heidelberg, 2017
ISBN 10: 3662543133
ISBN 13: 9783662543139
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: 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 . Nº de ref. del artículo: 135642224
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 28771290-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Small Dynamic Complexity Classes: An Investigation into Dynamic Descriptive Complexity (Theoretical Computer Science and General Issues)
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: I-9783662543139
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
SMALL DYNAMIC COMPLEXITY CLASSES AN INVESTIGATION INTO DYNAMIC DESCRIPTIVE COMPLEXITY
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 370417726
Cantidad disponible: 1 disponibles
Imagen del vendedor
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 28771290-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Small Dynamic Complexity Classes : An Investigation into Dynamic Descriptive Complexity
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 28771290
Cantidad disponible: Más de 20 disponibles