Skip to content

Bisimulation Invariant Monadic-Second Order Logic in the Finite.

Achim Blumensath, Felix Wolf

VenueA*ICALP
Year2018
ProceedingsICALP

Browse the full ICALP paper archive.