DMCA

Monadic second-order logic on tree-like structures

by Igor Walukiewicz
Citations:43 - 2 self