BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Elementary Proof of Strong Normalization for Atomic F

Participants in the publication
Fernando Ferreira (Author)
Dep. Matemática
 CMAFcIO
 Gilda Ferreira (Author)
LASIGE
 CMAFcIO
Date of Publication
2016

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
Bulletin of the Section of Logic

Publication Identifiers
ISSN - 2449-836X

Publisher
Uniwersytet Lodzki (University of Lodz)

Volume
45
Number
1

Number of pages
16
Starting page
1
Last page
15

Document Identifiers
DOI - https://doi.org/10.18778/0138-0680.45.1.01
URL - http://dx.doi.org/10.18778/0138-0680.45.1.01

Rankings
SCIMAGO Q4 (2016) - 0.133 - Logic


Export

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 }