MONA
C
★ 1
updated 13y ago
⑂ fork
MONA - a decision procedure for monadic second-order logic on finite strings and trees
No plain-English explanation yet — one is being written right now. Check back in a minute.