Martin Grohe

Albert-Ludwigs-Univ. Freiburg, Inst. für Mathematische Logik
http://sunpool.mathematik.uni-freiburg.de/home/grohe/
grohe@logik.mathematik.uni-freiburg.de

Author, editor, or reviewer of:

• An existential locality theorem
• Deciding first order properties of locally tree-decomposable structures
• Deciding first-order properties of locally tree-decomposable graphs
• Learnability and definability in trees and similar structures
• Local tree-width, excluded minors, and approximation algorithms