Learning MSO-definable hypotheses on strings

Grohe, Martin (Corresponding author); Löding, Christof (Corresponding author); Ritzert, Martin (Corresponding author)

PMLR (2017)
Contribution to a book, Contribution to a conference proceedings

In: [International Conference on Algorithmic Learning Theory, ALT 2017, 2017-10-15 - 2017-10-17, Kyoto, Japan]
Page(s)/Article-Nr.: 434-451