Exportar referência
APA
Maria João Gouveia, Luigi Santocanale, (2019). Aleph1 and the modal mu-calculus. Logical Methods in Computer Science, ISSN 1860-5974. eISSN . https://doi.org/10.23638/LMCS-15(4:1)2019
IEEE
Maria João Gouveia, Luigi Santocanale, "Aleph1 and the modal mu-calculus" in Logical Methods in Computer Science, 2019.
BIBTEX
@article{55247,
author = {Maria João Gouveia and Luigi Santocanale},
title = {Aleph1 and the modal mu-calculus},
journal = {Logical Methods in Computer Science},
year = 2019,
}