Detailseite
Baumartige Zerlegungen von Graphen und Strukturen und ihre Anwendungen
Antragsteller
Professor Dr. Martin Grohe
Fachliche Zuordnung
Theoretische Informatik
Förderung
Förderung von 2006 bis 2009
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 24838406
Erstellungsjahr
2009
Zusammenfassung der Projektergebnisse
Keine Zusammenfassung vorhanden
Projektbezogene Publikationen (Auswahl)
- 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