conftrace_

monadic second-order logic

1 paper

Explore in graph

Also known as

MSO

Co-occurring keywords · papers mentioning both

string learning (1) hypothesis learning (1) formal language (1) inductive inference (1)

Papers

Learning MSO-definable hypotheses on strings ALT 2017