Exportar referência
APA
Fernando Ferreira, Gilda Ferreira, (2016). Elementary Proof of Strong Normalization for Atomic F. Bulletin of the Section of Logic, 45, 1-15. ISSN 2449-836X. eISSN . http://dx.doi.org/10.18778/0138-0680.45.1.01
IEEE
Fernando Ferreira, Gilda Ferreira, "Elementary Proof of Strong Normalization for Atomic F" in Bulletin of the Section of Logic, vol. 45, pp. 1-15, 2016.
10.18778/0138-0680.45.1.01
BIBTEX
@article{39196,
author = {Fernando Ferreira and Gilda Ferreira},
title = {Elementary Proof of Strong Normalization for Atomic F},
journal = {Bulletin of the Section of Logic},
year = 2016,
pages = {1-15},
volume = 45
}