Elements of Finite Model Theory
(Sprache: Englisch)
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.
Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.
Leider schon ausverkauft
versandkostenfrei
Buch
Fr. 136.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Elements of Finite Model Theory “
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.
Details applications in databases, complexity theory, and formal languages, as well as other branches of computer science.
Klappentext zu „Elements of Finite Model Theory “
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.
Inhaltsverzeichnis zu „Elements of Finite Model Theory “
1 Introduction.- 2 Preliminaries.- 3 Ehrenfeucht-Fraïssé Games.- 4 Locality and Winning Games.- 5 Ordered Structures.- 6 Complexity of First-Order Logic.- 7 Monadic Second-Order Logic and Automata.- 8 Logics with Counting.- 9 Turing Machines and Finite Models.- 10 Fixed Point Logics and Complexity Classes.- 11 Finite Variable Logics.- 12 Zero-One Laws.- 13 Embedded Finite Models.- 14 Other Applications of Finite Model Theory.- References.- List of Notation.- Name Index.
Autoren-Porträt von Leonid Libkin
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 DatabasesKuper, G., Libkin, L., Paredaens, J. (Eds.), 12.04.2000, ISBN 3-540-66151-4
Finite-Model Theory and Its ApplicationsGrädel, E., Kolaitis, P.G. (et al.), 07.2004, ISBN 3-540-00428-9
Semantics in DatabasesThalheim, B., Libkin, L. (Eds.), Vol. 1358, 25.02.1998, ISBN 3-540-64199-8
Bibliographische Angaben
- Autor: Leonid Libkin
- 2004, 318 Seiten, Masse: 16 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer
- ISBN-10: 3540212027
- ISBN-13: 9783540212027
- Erscheinungsdatum: 02.07.2004
Sprache:
Englisch
Rezension zu „Elements of Finite Model Theory “
From the reviews:
Kommentar zu "Elements of Finite Model Theory"
0 Gebrauchte Artikel zu „Elements of Finite Model Theory“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Elements of Finite Model Theory".
Kommentar verfassen