Exportar referência
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
}