Publications > Artigos em Revistas Internacionais

Aleph 1 and the Modal mu-Calculus

Gouveia, M. J.; Santocanale, L.

Logical Methods in Computer Science, 15(4) (2019), 1-34