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

£73.46

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

Name: Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 71.16 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 81 days • 81 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 81 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £71 (47 days, 58.0%)

Price range: £68 - £73

Price levels: 3 different prices over 81 days

Description

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642059481
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 03 December 2010
Listed Since: 13 June 2010

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Model Theory: 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Concise Introduction to Logic and Set Theory (Mathematics and its Applications)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Proofs and Computations (Perspectives in Logic)

LATIN 2018: Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings: 10807 (Lecture Notes in Computer Science, 10807)

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs: 53 (Lecture Notes in Logic, Series Number 53)

Logic for Computer Science and Artificial Intelligence

Foundations of Information Technology in the Era of Network and Mobile Computing: IFIP 17th World Computer Congress ― TC1 Stream / 2nd IFIP ... Information and Communication Technology, 96)

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings: 4639 (Lecture Notes in Computer Science, 4639)

Formal Semantics: An Introduction (Cambridge Textbooks in Linguistics)

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples

Constructive Models (Siberian School of Algebra and Logic)

Frontiers of Combining Systems: 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings: 11715 (Lecture Notes in Computer Science, 11715)

Logic and Theory of Algorithms: 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings: 5028 (Lecture Notes in Computer Science, 5028)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Computability and Logic

Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)

Mathematics of Discrete Structures for Computer Science

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Selected Papers Of John H. Holland: A Pioneer In Complexity Science: 4 (Exploring Complexity)

An Introduction to Substructural Logics

Modern Formal Methods and Applications