Elements Of Finite Model Theory

de Leonid Libkin
idioma: inglês
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG, julho de 2004 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
Provides an introduction to finite model theory which stresses the computer science origins of the area. This book deals with the applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraisse games, locality-based techniques, and the complexity analysis of logics.

Elements Of Finite Model Theory

de Leonid Libkin

Propriedade Descrição
ISBN: 9783540212027
Editor: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Data de Lançamento: julho de 2004
Idioma: Inglês
Encadernação: Capa dura
Páginas: 318
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9783540212027