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

New.

Codice articolo ERICA77311070145226

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
• Condizione: New
• Tipo di libro: book

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.