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

Grohe, Martin

ISBN 10: 1107014522 / ISBN 13: 9781107014527

Editore: Cambridge University Press, 2017

Riguardo questo articolo

A firm, square and tight hardback with strong joints, just showing a few very minor hardly noticeable bumps and some mild cosmetic wear. Hence a non-text page is stamped 'damaged'. Despite such this book is actually in nearly new condition. Thus the contents are crisp, fresh and clean with no pen-marks. Not from a library so no such stamps or labels. Now offered for sale at a very reasonable price.

Codice articolo 202091

Dati bibliografici

• Titolo: Descriptive Complexity, Canonisation, and Definable Graph Structure Theory (Lecture Notes in Logic, Series Number 47)
• Editore: Cambridge University Press
• Data di pubblicazione: 2017
• Lingua: Inglese
• ISBN 10: 1107014522
• ISBN 13: 9781107014527
• Rilegatura: Hardcover
• Edizione: First Edition.
• Condizione: Like New

Descrizione articolo

Riassunto

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

Informazioni sull?autore

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.