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.

N� de ref. del art�culo 1LAUHV002YVS

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

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

Editor

Springer

Fecha de publicaci�n

2010

Idioma

Ingl�s

ISBN 10

3642059481

ISBN 13

9783642059483

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

LikeNew

Cat�logos de vendedores

Acerca de

Sinopsis

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.

Acerca del autor

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-4 Finite-Model Theory and Its Applications Gradel, E., Kolaitis, P.G. (et al.), 07.2004, ISBN 3-540-00428-9 Semantics in Databases Thalheim, B., Libkin, L. (Eds.), Vol. 1358, 25.02.1998, ISBN 3-540-64199-8

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

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

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

thebookforest.com
CA, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Derecho a cancelaci�n

Condiciones de env�o

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.

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 21 a 40 d�as h�biles	De 7 a 21 d�as h�biles
Primer art�culo	EUR 42.61	EUR 42.61

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.