Skip to content

Monadic Second-Order Logic with Arbitrary Monadic Predicates.

Nathanal Fijalkow, Charles Paperman

VenueBMFCS
Year2014
ProceedingsMFCS (1)

Browse the full MFCS paper archive.