Ir para o conteúdo

Elements of Finite Model Theory
Foto de Stock: A capa pode ser diferente.

Elements of Finite Model Theory Capa dura - 2004 - 2004th Edição

por Leonid Libkin

Informações do editor

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-Frass 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.

Primeira linha

HASH(0x11148970)

Descrição da contracapa

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-Frass 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.

This book can be used both as an introduction to the subject, suitable for a one- or two-semester graduate course, or as reference for researchers who apply techniques from logic in computer science.

Detalhes

  • Título Elements of Finite Model Theory
  • Autor Leonid Libkin
  • Encadernação Capa dura
  • Número da edição 2004th
  • Edição 2004
  • Páginas 318
  • Volumes 1
  • Idioma ENG
  • Editorial Springer
  • Data de publicação 2004-07-02
  • ISBN 9783540212027 / 3540212027
  • Peso 1.37 libras (0.62 kg)
  • Dimensão 9.5 x 6.32 x 0.88 in. (24.13 x 16.05 x 2.24 cm)
  • Número da Biblioteca do Congresso dos Estados Unidos 2004105855
  • Dewey Decimal Code 511.34

Sobre o 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
Grdel, 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

Mais exemplares à venda

Elements of Finite Model Theory
Foto de Stock: A capa pode ser diferente.

Elements of Finite Model Theory

por Leonid Libkin

  • Novo
  • Capa dura
Condição
Novo
Encadernação
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantidade Disponível
80
Livreiro
Uxbridge, Greater London, United Kingdom
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 100,68
€ 9,58 frete para USA

Mostrar detalhes

Descrição:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Elements of Finite Model Theory.
Preço do item
€ 100,68
€ 9,58 frete para USA
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Foto de Stock: A capa pode ser diferente.

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

por Leonid Libkin

  • Usado
  • Capa dura
Condição
Used - Very Good
Encadernação
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantidade Disponível
1
Livreiro
Wilmington, Vermont, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 94,74
€ 5,67 frete para USA

Mostrar detalhes

Descrição:
Springer, July 2004. Hardcover . Used - Very Good/Very Good.
Preço do item
€ 94,74
€ 5,67 frete para USA
Elements of Finite Model Theory
Foto de Stock: A capa pode ser diferente.

Elements of Finite Model Theory

por Leonid Libkin

  • Novo
  • Capa dura
Condição
Novo
Encadernação
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantidade Disponível
10
Livreiro
Southport, Merseyside, United Kingdom
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 122,58
€ 11,93 frete para USA

Mostrar detalhes

Descrição:
Hardback. New. Emphasizes the computer science aspects of the subject. Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.
Preço do item
€ 122,58
€ 11,93 frete para USA
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Foto de Stock: A capa pode ser diferente.

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

por Libkin, Leonid

  • Usado
  • Bom
  • Capa dura
Condição
Usado - Bom
Encadernação
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantidade Disponível
1
Livreiro
Newport Coast, California, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 110,45
Frete grátis para USA

Mostrar detalhes

Descrição:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Preço do item
€ 110,45
Frete grátis para USA
Elements of Finite Model Theory
Foto de Stock: A capa pode ser diferente.

Elements of Finite Model Theory

por Leonid Libkin

  • Novo
  • Capa dura
Condição
Novo
Encadernação
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantidade Disponível
4
Livreiro
Woodside, New York, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 129,53
€ 3,78 frete para USA

Mostrar detalhes

Descrição:
Springer , pp. 340 . Hardback. New.
Preço do item
€ 129,53
€ 3,78 frete para USA
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Foto de Stock: A capa pode ser diferente.

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

por Libkin, Leonid

  • Novo
  • Capa dura
Condição
Novo
Encadernação
Hardcover
ISBN 10 / ISBN 13
9783540212027 / 3540212027
Quantidade Disponível
1
Livreiro
San Diego, California, United States
Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Preço do item
€ 173,07
€ 5,16 frete para USA

Mostrar detalhes

Descrição:
Springer, 2004-07-02. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Preço do item
€ 173,07
€ 5,16 frete para USA