Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach: 138 (Encyclopedia of Mathematics and its Applications, Series Number 138) - Image 1

£94.29

Cambridge University Press Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach: 138 (Encyclopedia of Mathematics and its Applications, Series Number 138)

Name: Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach: 138 (Encyclopedia of Mathematics and its Applications, Series Number 138)
Brand: Cambridge University Press
Price: 94.29 GBP
Availability: InStock

History & Philosophy

This is the usual price. Wait for it to drop, or tell us your number.

£94 today · usual range £0–£0 · best ever £30

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

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

Historical

Generating forecast...

Price Distribution

Price distribution over 616 days • 10 price levels

Days at Price

Current Price

Price Analysis

Most common price: £136 (251 days, 40.7%)

Price range: £30 - £147

Price levels: 10 different prices over 616 days

Description

The study of graph structure has advanced in recent years with great strides: finite graphs can be described algebraically, enabling them to be constructed out of more basic elements. Separately the properties of graphs can be studied in a logical language called monadic second-order logic. In this book, these two features of graph structure are brought together for the first time in a presentation that unifies and synthesizes research over the last 25 years. The authors not only provide a thorough description of the theory, but also detail its applications, on the one hand to the construction of graph algorithms, and, on the other to the extension of formal language theory to finite graphs. Consequently the book will be of interest to graduate students and researchers in graph theory, finite model theory, formal language theory, and complexity theory.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521898331
Category: Books > Subjects > Science, Nature & Maths > History & Philosophy
Domain: Amazon UK
Release Date: 14 June 2012
Listed Since: 13 April 2010

Barcode

No barcode data available

Cambridge University Press Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach: 138 (Encyclopedia of Mathematics and its Applications, Series Number 138)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory: 47 (Lecture Notes in Logic, Series Number 47)

Logic and Language Models for Computer Science: Third Edition

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Logic and Computation

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Words and Graphs (Monographs in Theoretical Computer Science. An EATCS Series)

Handbook of Logic and Language

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

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Stochastic Coalgebraic Logic (Monographs in Theoretical Computer Science. An EATCS Series)

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998: 1450 (Lecture Notes in Computer Science, 1450)

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution: 32 (Cambridge Tracts in Theoretical Computer Science, Series Number 32)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Theory of Computation: Automata, Formal Languages, Computation and Complexity

Handbook of Logic and Language