CI-posets, domínios e espaços de funções Documento

• https://repositorio.ufrn.br/jspui/handle/123456789/28540
• https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=8189330

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver todos
•  

Visão geral

membro de

• https://brcris.ibict.br/individual/comm_13420c68-9ae8-4762-8568-9aadf27b3325 
• https://brcris.ibict.br/individual/comm_484b40f0-b3f8-4a11-8be7-457eed856e00 

orientado por

• Fágner Lemos de Santana

tipo

• master thesis

data de publicação

• 2019-01-01

prêmio patrocinado pela

• Universidade Federal do Rio Grande Do Norte  Organização

Pesquisas

áreas de investigação

• Lógicas e Semântica de Programas

palavras-chave

• CI-poset
• Reticulado
• Topologia de Scott hereditária

Identidade

identificador BrCris

• 5276dac0582a6525e171af5465868fe9

identificador Capes

• 8189330-Publication

identificador Oasisbr

• UFRN_952690e2357977271425274959e18aac