Text block, wraps and binding are in like new condition, without markings of any kind. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.

Codice articolo 1LAUHV002YVS

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Editore

Springer

Data di pubblicazione

2010

Lingua

Inglese

ISBN 10

3642059481

ISBN 13

9783642059483

Rilegatura

Brossura

Condizione

LikeNew

Cataloghi dei venditori

Descrizione articolo

Riassunto

This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fra�ss� games, locality-based techniques, complexity analysis of logics, including the basics of descriptive complexity, second-order logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zero-one laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory.

Informazioni sull?autore

The author has been with the department of computer science at the University of Toronto since 2000. Prior to that, he was a researcher at Bell Laboratories, and he spent two years visiting INRIA in France. His research interests are in the areas of database theory and applications of logic in computer science.He is coauthor/editor of:Constraint Databases Kuper, G., Libkin, L., Paredaens, J. (Eds.), 12.04.2000, ISBN 3-540-66151-4Finite-Model Theory and Its Applications Gr�del, E., Kolaitis, P.G. (et al.), 07.2004, ISBN 3-540-00428-9Semantics in Databases Thalheim, B., Libkin, L. (Eds.), Vol. 1358, 25.02.1998, ISBN 3-540-64199-8

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Since 2010, the Book Forest has raised over 3 million dollars for participating public libraries.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

thebookforest.com
CA, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

Diritto di recesso

Condizioni di spedizione

Orders ship within 24 hours of receipt. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or over sized, we may contact you to let you know extra shipping is required.

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 5 a 14 giorni lavorativi	Da 3 a 6 giorni lavorativi
Primo articolo	EUR 3.40	EUR 7.66

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.