Löding, Christof

1 publications

ALT 2017 Learning MSO-Definable Hypotheses on Strings Martin Grohe, Christof Löding, Martin Ritzert