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

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

by Leonid Libkin (Author)

Synopsis

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.

$116.47

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 318
Publisher: Springer
Published: 02 Jul 2004

ISBN 10: 3540212027
ISBN 13: 9783540212027