pt
|
en
Home
Áreas de Investigação
Álgebra e Computação
Análise Numérica e Aplicações
Modelação Matemática em Biomedicina
Estatística e Processos Estocásticos
Membros
Publicações
Eventos
Applied and Numerical Analysis Seminar
Probability and Statistics Seminar
Seminários de Álgebra
CEMAT's Open Seminar
Encontros Científicos
Cursos
Projetos
Candidaturas
Contactos
Publicações
> 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
CEMAT
- Center for Computational and Stochastic Mathematics
Instituto Superior Têcnico
Faculdade de Ciências
Universidade de Lisboa