Sign in

New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures.

Tobias GanzowLukasz Kaiser
Published in: CSL (2010)
Keyphrases