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

Giovanna D'Agostino, Giacomo Lenzi. On Modal μ-Calculus over Finite Graphs with Small Components or Small Tree Width. Int. J. Found. Comput. Sci., 23(3):627-647, 2012. [doi]

Abstract

Abstract is missing.