BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Aleph1 and the Modal mu-Calculus

Participantes na publicação
Maria João Gouveia (Author)
Dep. Matemática
 CEMAT
 Luigi Santocanale (Author)

Editor
Valentin Goranko and Mads Dam

Data de Publicação
2017

Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Suporte
Leibniz International Proceedings in Informatics (LIPIcs)

Identificadores da Publicação
ISSN - 1868-8969
ISBN - 9783959770453

Editora
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Volume
82

Página Inicial
38:1
Página Final
38:16

Identificadores do Documento
URL - 10.4230/LIPIcs.CSL.2017.38
ISBN - 978-3-95977-045-3
DOI - https://doi.org/10.4230/LIPIcs.CSL.2017.38

Anotações
ISSN dado em SCIMAGO não é o que aparece em http://drops.dagstuhl.de/opus/institut_lipics.php e que foi aquele por que optei indicar aqui.Ainda não tem quartil atribuído mas o indicador SJR 2016 é 0.613\\n\n


Exportar referência

APA
Maria João Gouveia, Luigi Santocanale, (2017). Aleph1 and the Modal mu-Calculus. Leibniz International Proceedings in Informatics (LIPIcs), 82, 38:1-38:16. ISSN 1868-8969. eISSN . 10.4230/LIPIcs.CSL.2017.38

IEEE
Maria João Gouveia, Luigi Santocanale, " Aleph1 and the Modal mu-Calculus" in Leibniz International Proceedings in Informatics (LIPIcs), vol. 82, pp. 38:1-38:16, 2017. 10.4230/LIPIcs.CSL.2017.38

BIBTEX
@article{41787, author = {Maria João Gouveia and Luigi Santocanale}, title = { Aleph1 and the Modal mu-Calculus}, journal = {Leibniz International Proceedings in Informatics (LIPIcs)}, year = 2017, pages = {38:1-38:16}, volume = 82 }