Author of the publication

Learning MSO-definable hypotheses on strings.

, , and . ALT, volume 76 of Proceedings of Machine Learning Research, page 434-451. PMLR, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Local Tree-Width, Excluded Minors, and Approximation Algorithms.. Combinatorica, 23 (4): 613-632 (2003)Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits., , and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 555-567. Springer, (2004)A Finite-Model-Theoretic View on Propositional Proof Complexity., , , and . Logical Methods in Computer Science, (2019)Learnability and Definability in Trees and Similar Structures., and . Theory Comput. Syst., 37 (1): 193-220 (2004)A complexity dichotomy for partition functions with mixed signs, , , and . CoRR, (2008)From polynomial time queries to graph structure theory.. Commun. ACM, 54 (6): 104-112 (2011)Bounded-Arity Hierarchies in Fixed-Point Logics.. CSL, volume 832 of Lecture Notes in Computer Science, page 150-164. Springer, (1993)Finite variable logics in descriptive complexity theory.. Bull. Symb. Log., 4 (4): 345-398 (1998)Recent Advances on the Graph Isomorphism Problem., and . CoRR, (2020)An existential locality theorem., and . Ann. Pure Appl. Log., 129 (1-3): 131-148 (2004)