Skip to content

Monadic Second Order Logic on Tree-Like Structures.

Igor Walukiewicz

VenueASTACS
Year1996
ProceedingsSTACS

Browse the full STACS paper archive.