BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Aleph1 and the Modal mu-Calculus

Participants in the publication
Maria João Gouveia (Author)
Dep. Matemática
CEMAT-Ciências - Centro de Matemática Computacional e Estocástica-Ciências
Luigi Santocanale (Author)

Scope
International

Editor(s)
Valentin Goranko and Mads Dam

Date of Publication
2017

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
Leibniz International Proceedings in Informatics (LIPIcs)

Publication Identifiers
ISSN - 1868-8969
ISBN - 9783959770453

Publisher
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Volume
82

Starting page
38:1
Last page
38:16

Document Identifiers
URL - 10.4230/LIPIcs.CSL.2017.38
ISBN - 978-3-95977-045-3
DOI - https://doi.org/10.4230/LIPIcs.CSL.2017.38

Notes
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


Export

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 }