Elements of Finite Model Theory

Leonid Libkin

ISBN 10: 3642059481 ISBN 13: 9783642059483

Editorial: Springer-Verlag, 2010

Idioma: Ingl�s

Condici�n: Usado - Bueno Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por Moe's Books, Berkeley, CA, Estados Unidos de America

Vendedor de AbeBooks desde 26 de mayo de 2003

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Condici�n: Usado - Bueno

Precio: EUR 57,05 Convertir moneda

EUR 5,54 gastos de env�o en Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Great condition. Cover and edges are slightly worn. Inside is clean and unmarked.

N� de ref. del art�culo 1154285

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Elements of Finite Model Theory

Editor

Springer-Verlag

Fecha de publicaci�n

2010

Idioma

Ingl�s

ISBN 10

3642059481

ISBN 13

9783642059483

Encuadernaci�n

Softcover

Estado

Very good

Cat�logos de vendedores

Computer Science

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

Moe's Books has been selling new, used, and antiquarian books for over fifty years. Our store has four floors, a separate rare book room, and over 300,000 books. We are located in the heart of Berkeley, four blocks from the University of California campus on historic Telegraph Avenue. Please check out website for more information about the store and our event information. We have many of our readings available as free audio downloads. You can also contact us with want lists or questions about our inventory.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Moe's Books
2476 Telegraph Ave., Berkeley, CA, 94704, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Books may be returned only if not as described.

Derecho a cancelaci�n

Condiciones de env�o

Orders usually ship within 2 business days. 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 that extra shipping is required. International shipping rates are based on the book being able to be shipped via Global Priority. Over-sized or heavy books to be shipped by air mail will require additional postage. Additional postage is quoted at cost.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 5 a 14 d�as h�biles	De 2 a 5 d�as h�biles
Primer art�culo	EUR 5.54	EUR 14.91

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.