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

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 22 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £94 (13 days, 59.1%)

Price range: £30 - £94

Price levels: 2 different prices over 22 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Topics in Algorithmic Graph Theory: 178 (Encyclopedia of Mathematics and its Applications, Series Number 178)

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments: 54 (Lecture Notes in Logic, Series Number 54)

Computable Structure Theory: Within the Arithmetic (Perspectives in Logic)

On Sets and Graphs: Perspectives on Logic and Combinatorics

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

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)

Finite Ordered Sets: Concepts, Results and Uses: 144 (Encyclopedia of Mathematics and its Applications, Series Number 144)

Graph Theory: 244 (Graduate Texts in Mathematics, 244)

Combinatorics on Words 2ed (Cambridge Mathematical Library)

Monoidal Topology: A Categorical Approach to Order, Metric, and Topology: 153 (Encyclopedia of Mathematics and its Applications, Series Number 153)

Bipartite Graphs & Applications: 131 (Cambridge Tracts in Mathematics, Series Number 131)

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

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

Graph Theory and Additive Combinatorics: Exploring Structure and Randomness

Handbook of Product Graphs, Second Edition (Discrete Mathematics and Its Applications)

Type Theory and Formal Proof: An Introduction

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Graph Theory Applications (Universitext)

Topics in Structural Graph Theory: 147 (Encyclopedia of Mathematics and its Applications, Series Number 147)

Handbook of Product Graphs (Discrete Mathematics and Its Applications)

Random Graphs: Second Edition: 73 (Cambridge Studies in Advanced Mathematics, Series Number 73)

Transitions and Trees: An Introduction to Structural Operational Semantics

Polygraphs: From Rewriting to Higher Categories: 495 (London Mathematical Society Lecture Note Series, Series Number 495)

The Mathematics of Finite Networks: An Introduction to Operator Graph Theory