Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen

Applicant Professor Dr. Martin Grohe

Subject Area Theoretical Computer Science

Term from 2006 to 2009

Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 24838406

Final Report Year 2009

Final Report Abstract

No abstract available

Locally excluding a minor. In Proceedings of the 22nd IEEE Symposium on Logic in Computer Science, pages 270-279, 2007
A. Dawar, M. Grohe, and S. Kreutzer
Logic, graphs, and algorithms. In J. Flum, E. Gradel, and T. Wilke, editors, Logic and Automata - History and Perspectives, volume 2 of Texts in Logic and Games, pages 357-422. Amsterdam University Press, 2007
M. Grohe
A note on clique-width and tree-width for structures. CoRR, abs/0806.0103, 2008
H. Adler and I. Adler
Computing excluded minors. In Proceedings of the 19th Annual ACM-SIAM Symposium on Discrete Algorithms, pages 641-650, 2008
I. Adler, M. Grohe, and S. Kreutzer
Definable tree decompositions. In Proceedings of the 23rd IEEE Symposium on Logic in Computer Science, pages 406-417, 2008
M. Grohe
Tree-width and functional dependencies in databases. In Proceedings of the 27th ACM Symposium on Principles of Database Systems, pages 311-320, 2008
I. Adler
On tree width, bramble size, and expansion. Journal of Combinatorial Theory, Series B, 99:218-228, 2009
M. Grohe and D. Marx