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 - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Gilda Ferreira (Author)

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 }