Martin Grohe

Gebundenes Buch

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory

Beschreibung

This groundbreaking, yet accessible book explores the interaction between graph theory and computational complexity using methods from finite model theory.

Autor

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.

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 554
• Erscheinungstermin: 17. August 2017
• Englisch
• Abmessung: 233mm x 156mm x 38mm
• Gewicht: 900g
• ISBN-13: 9781107014527
• ISBN-10: 1107014522
• Artikelnr.: 47722100