BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Eta-conversions of IPC implemented in atomic F

Participants in the publication
Gilda Ferreira (Author)
LASIGE
 CMAFcIO
Date of Publication
2016-07-01

Where published
Logic Journal of IGPL

Publication Identifiers
ISSN - 1367-0751

Publisher
Oxford University Press (OUP)

Starting page
jzw035

Document Identifiers
DOI - https://doi.org/10.1093/jigpal/jzw035
URL - http://dx.doi.org/10.1093/jigpal/jzw035

Rankings
SCIMAGO Q1 (2016) - 0.43 - Philosophy


Export

APA
Gilda Ferreira, (2016). Eta-conversions of IPC implemented in atomic F. Logic Journal of IGPL, ISSN 1367-0751. eISSN . http://dx.doi.org/10.1093/jigpal/jzw035

IEEE
Gilda Ferreira, "Eta-conversions of IPC implemented in atomic F" in Logic Journal of IGPL, 2016. 10.1093/jigpal/jzw035

BIBTEX
@article{36664, author = {Gilda Ferreira}, title = {Eta-conversions of IPC implemented in atomic F}, journal = {Logic Journal of IGPL}, year = 2016, }