Login / Signup

Computing Measures of Weak-MSO Definable Sets of Trees.

Damian NiwinskiMarcin PrzybylkoMichal Skrzypczak
Published in: ICALP (2020)
Keyphrases
  • monadic second order logic
  • tree automata
  • decision trees
  • expressive power
  • regular expressions
  • finite state
  • tree structure
  • data mining
  • data complexity