BIBLIOS

   Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
Fixed-Point Elimination in the Intuitionistic Propositional Calculus

Participantes na publicação
Silvio Ghilardi (Author)
Maria João Gouveia (Author)
Dep. Matemática
 CEMAT
 Luigi Santocanale (Author)

Data de Submissão/Pedido
2015-10-08
Data de Publicação
2016

Instituição
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Suporte
Lecture Notes in Computer Science

Identificadores da Publicação
ISSN - 0302-9743
eISSN - 1611-3349
ISBN - 9783662496299,9783662496305

Editora
Springer Berlin Heidelberg

Número de Páginas
15
Página Inicial
126
Página Final
141

Identificadores do Documento
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

Identificadores de Qualidade
SCIMAGO Q2 (2015) - 0.369 - Computer Science (miscellaneous)


Exportar referência

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}, }