Skip to content

Quantitative Monadic Second-Order Logic.

Stephan Kreutzer, Cristian Riveros

VenueA*LICS
Year2013
ProceedingsLICS

Browse the full LICS paper archive.