On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width.

Published in: Int. J. Found. Comput. Sci. (2012)

Keyphrases