BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Fixed-point Elimination in the Intuitionistic Propositional Calculus

Participants in the publication
Silvio Ghilardi (Author)
Maria João Gouveia (Author)
Dep. Matemática
 Luigi Santocanale (Author)

Date of Submisson/Request
2018-03-02
Date of Publication
2020-01-30

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
ACM Transactions on Computational Logic

Publication Identifiers
ISSN - 1529-3785

Publisher
Association for Computing Machinery (ACM)

Volume
21
Number
1

Number of pages
36
Starting page
1
Last page
37

Document Identifiers
URL - http://dx.doi.org/10.1145/3359669
DOI - https://doi.org/10.1145/3359669

Rankings
SCOPUS Q1 (2020) - 2.5 - Logic


Export

APA
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale, (2020). Fixed-point Elimination in the Intuitionistic Propositional Calculus. ACM Transactions on Computational Logic, 21, 1-37. ISSN 1529-3785. eISSN . http://dx.doi.org/10.1145/3359669

IEEE
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale, "Fixed-point Elimination in the Intuitionistic Propositional Calculus" in ACM Transactions on Computational Logic, vol. 21, pp. 1-37, 2020. 10.1145/3359669

BIBTEX
@article{41746, author = {Silvio Ghilardi and Maria João Gouveia and Luigi Santocanale}, title = {Fixed-point Elimination in the Intuitionistic Propositional Calculus}, journal = {ACM Transactions on Computational Logic}, year = 2020, pages = {1-37}, volume = 21 }