Authors

G. D'Agostino
G. Lenzi

Date (dd-mm-yyyy)

2002

Title

On Modal mu-Calculus with Explicit Interpolants

Publication Year

2002

Publisher

AmsterdamInstitute for Logic, Language and Computation

Document type

Working paper

Permalink

https://hdl.handle.net/11245/1.243572