BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Fixed-Point Elimination in the Intuitionistic Propositional Calculus

Participants in the publication
Silvio Ghilardi (Author)
Maria João Gouveia (Author)
Dep. Matemática
CEMAT-Ciências - Centro de Matemática Computacional e Estocástica-Ciências
Luigi Santocanale (Author)

Scope
International

Date of Submisson/Request
2015-10-08
Date of Publication
2016

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Where published
Lecture Notes in Computer Science

Publication Identifiers
ISSN - 0302-9743
eISSN - 1611-3349
ISBN - 9783662496299,9783662496305

Publisher
Springer Berlin Heidelberg

Number of pages
15
Starting page
126
Last page
141

Document Identifiers
DOI - https://doi.org/10.1007/978-3-662-49630-5_8
URL - http://dx.doi.org/10.1007/978-3-662-49630-5_8

Rankings
SCIMAGO Q2 (2015) - 0.369 - Computer Science (miscellaneous)


Export

APA
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale, (2016). Fixed-Point Elimination in the Intuitionistic Propositional Calculus. Lecture Notes in Computer Science, 126-141. ISSN 0302-9743. eISSN 1611-3349. http://dx.doi.org/10.1007/978-3-662-49630-5_8

IEEE
Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale, "Fixed-Point Elimination in the Intuitionistic Propositional Calculus" in Lecture Notes in Computer Science, pp. 126-141, 2016. 10.1007/978-3-662-49630-5_8

BIBTEX
@article{41783, author = {Silvio Ghilardi and Maria João Gouveia and Luigi Santocanale}, title = {Fixed-Point Elimination in the Intuitionistic Propositional Calculus}, journal = {Lecture Notes in Computer Science}, year = 2016, pages = {126-141}, }