Descriptive Complexity, Canonisation, and Definable Graph Structure Theory Image close
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory on Hardback by Martin Grohe
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory on Hardback by Martin Grohe
Show Hide Adult Content
Descriptive Complexity, Canonisation, and Definable Graph Structure Theory close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Hardback
$437.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $109.25 with Afterpay Learn more

6 weekly interest-free payments of $72.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 17-27 June using International Courier

Explore more Lecture Notes in Logic

See all products in this series

Stable Domination and Independence in Algebraically Closed Valued Fields on Hardback by Deirdre Haskell
$321.00
Stable Domination and Independence in Algebraically Closed Valued...
by Deirdre Haskell ~ Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium '95 on Hardback
$380.00
Logic Colloquium '95
Hardback
Available - Usually ships in 3-4 weeks
Descriptive Set Theory and Forcing by Arnold Miller
$149.00
Descriptive Set Theory and Forcing
by Arnold Miller ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs on Hardback by Gregory Cherlin
$353.00
Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and...
by Gregory Cherlin ~ Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium '96 on Hardback
$323.00
Logic Colloquium '96
Hardback
Available - Usually ships in 3-4 weeks
Complexity of Infinite-Domain Constraint Satisfaction on Hardback by Manuel Bodirsky
$395.00
Complexity of Infinite-Domain Constraint Satisfaction
by Manuel Bodirsky ~ Hardback
Available - Usually ships in 3-4 weeks
Games, Scales and Suslin Cardinals on Hardback
$330.00
Games, Scales and Suslin Cardinals
Hardback
Available - Usually ships in 3-4 weeks
Kurt Gödel on Hardback
$362.00
Kurt Gödel
Hardback
Available - Usually ships in 3-4 weeks
Logic Colloquium 2007 on Hardback
$325.00
Logic Colloquium 2007
Hardback
Available - Usually ships in 3-4 weeks
Logic and Algebraic Structures in Quantum Computing on Hardback
$380.00
Logic and Algebraic Structures in Quantum Computing
Hardback
Available - Usually ships in 3-4 weeks
Gödel '96 on Hardback
$340.00
Gödel '96
Hardback
Available - Usually ships in 3-4 weeks
A General Algebraic Semantics for Sentential Logics by Josep M. Font
$149.00
A General Algebraic Semantics for Sentential Logics
by Josep M. Font ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Colloquium 2005 on Hardback by Ludomir Newelski
$337.00
Logic Colloquium 2005
by Ludomir Newelski ~ Hardback
Available - Usually ships in 3-4 weeks
Simple Theories and Hyperimaginaries on Hardback by Enrique Casanovas
$335.00
Simple Theories and Hyperimaginaries
by Enrique Casanovas ~ Hardback
Available - Usually ships in 3-4 weeks
A Course in Model Theory on Hardback by Katrin Tent
$197.00
A Course in Model Theory
by Katrin Tent ~ Hardback
Available - Usually ships in 3-4 weeks
Stable Domination and Independence in Algebraically Closed Valued Fields by Deirdre Haskell
$123.00
Stable Domination and Independence in Algebraically Closed Valued...
by Deirdre Haskell ~ Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Descriptive complexity theory establishes a connection between the computational complexity of algorithmic problems (the computational resources required to solve the problems) and their descriptive complexity (the language resources required to describe the problems). This groundbreaking book approaches descriptive complexity from the angle of modern structural graph theory, specifically graph minor theory. It develops a 'definable structure theory' concerned with the logical definability of graph theoretic concepts such as tree decompositions and embeddings. The first part starts with an introduction to the background, from logic, complexity, and graph theory, and develops the theory up to first applications in descriptive complexity theory and graph isomorphism testing. It may serve as the basis for a graduate-level course. The second part is more advanced and mainly devoted to the proof of a single, previously unpublished theorem: properties of graphs with excluded minors are decidable in polynomial time if, and only if, they are definable in fixed-point logic with counting.

Author Biography:

Martin Grohe is a Professor of Theoretical Computer Science at RTWH Aachen University, Germany, where he holds the Chair for Logic and the Theory of Discrete Systems. His research interests are in theoretical computer science interpreted broadly, including logic, algorithms and complexity, graph theory, and database theory.
Release date NZ
August 17th, 2017
Author
Audience
  • Professional & Vocational
Illustrations
Worked examples or Exercises; 25 Halftones, black and white; 35 Line drawings, black and white
Pages
554
Dimensions
160x235x36
ISBN-13
9781107014527
Product ID
27215837

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Combinatorics & graph theory
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Discrete mathematics
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures