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

Institutions

  • UnRAVeL Research Training Group [080060]
  • Department of Computer Science [120000]
  • Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]

Identifier