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]

Authors

Giovanna D'Agostino

This author has not been identified. Look up 'Giovanna D'Agostino' in Google

Giacomo Lenzi

This author has not been identified. Look up 'Giacomo Lenzi' in Google